PASCAL-S, a subset and its implementation - Wirth, Niklaus 1934-2024 (Eidgen. Techn. Hochsch., 1975)