Systematic programming : an introduction - Wirth, Niklaus (Prentice-Hall Series in Automatic Computation / Prentice-Hall, Inc.., 1973)