Pascal user manual and report 3rd ed .-3rd ed - Jensen, Kathleen & Wirth, Niklaus (1986)