Pascal user manual and report - Jensen, Kathleen & Wirth, N (1985)