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