PASCAL user manual and report - Jensen, Kathleen 1949-; Wirth, Niklaus 1934-2024 (Springer, 1978)