Pascal user manual and report : REVISED FOR THE ISO PASCAL STANDARD - Jensen, Kathleen (Springer Study Edition., 1978)