Methodisches Programmieren Entwicklung von Algorithmen durch schrittweise Verfeinerung Hommel, Günter Innbundet / 1983 / Tysk
