Pascal User Manual & Report - Jensen, Kathleen & Wirth, Niklaus (1986)