Pascal : an introduction to methodical programming - Findlay, William (Pitman, 1978)