Pascal user manual and report: : revised for the ISO Pascal standard - Jensen, Kathleen (Springer-Verlag, 1985)