Pascal, an introduction to methodical programming - Findlay, William (Computer software engineering series, 1981)