Foundations of programming with Pascal - Moore, Lawrie (The Ellis Horwood series in computers and their applications, 1980)