Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen. - Dirk Pollmächer (2008)