Pascal user manual and report: rev. for the ISO Pascal standard, 3rd Edition. - Kathleen Jensen; Niklaus Wirth; Andrew B. Mickel (Springer, 1985)