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