Systematic programming : - Wirth, Niklaus (Prentice-Hall series in automatic computation, 1973)