Pascal user manual and report : ISO Pascal standard - Wirth, Niklaus; Jensen, Kathleen (Springer Verlag, 1991)