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