Gerd Neu­ge­bauer. Pragmatische Programmsynthese, volume DISKI-18. In­fix-Verlag, Sankt Augustin, 1992.