Systematic programming : an introduction - Wirth, Niklaus (Prentice-Hall, Inc, 1973)