Pascal User Manual and report rev. for the ISO Pascal standard - Jensen, Kathleen 1949-; Wirth, Niklaus 1934-2024 (Springer, 1985)