Ein Fachbuch aus dem NATO‑Studieninstitut Bonnas, das die 1981 vorgestellten Methoden der automatischen Programmsynthese zusammenfasst und sowohl theoretische Grundlagen als auch praktische Anwendungsbeispiele beleuchtet.