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