PASCAL : user manual and report - Jensen, Kathleen (Springer-Verlag, 1975)