Günter Hommel & Stefan Jähnichen 
Methodisches Programmieren [PDF ebook] 
Entwicklung von Algorithmen durch schrittweise Verfeinerung

Frontmatter — Vorwort — Inhaltsverzeichnis — 1. Einführung in die Informatik — 2. Algorithmen — 3. Die Notation von Algorithmen — 4. Die Notation von Objekten — 5. Die ganzen Zahlen — 6. Die reellen Zahlen — 7. Texte — 8. Wahrheitswerte — 9. Konstruktionsmittel für Algorithmen — 10. Konstruktionsmittel für Daten — 11. Dateien — A. Eine Beschreibung von ELAN — B. Auszug aus den ELAN Standardpaketen — C. Literaturverzeichnis — D. Stichwortverzeichnis — Backmatter