Systematic Programming An Introduction - Wirth, Niklaus (Automatic Computation., 1973)