Systematic programming : an introduction - Wirth Niklaus (1973)