PASCAL User manual and report - Jensen, Kathleen; Wirth, Niklaus 1934-2024 (Springer study edition, 1978)