Systematic programming : an introduction - Wirth, Niklaus, 1934-2024 (Prentice-Hall Series in Automatic Computation, 1973)