PASCAL USER MANUAL AND REPORT - Jensen, Kathleen (Springer, 1985)