PASCAL user manual and report - Jensen, Kathleen; Wirth, Niklaus 1934-2024 (Lecture notes in computer science, 1974)