Pascal : USER MANUAL AND REPORT - Jensen, Kathleen (Springer Verlag, 1978)