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