Methodisches Programmieren Entwicklung von Algorithmen durch schrittweise Verfeinerung - Hommel, Günter 19XX-; Jähnichen, Stefan; Koster, Cornelis H. A. (de Gruyter, 1983)