Pascal user manual and report - Jensen, Kathleen (Springer-Verlag, 1978)