Beschreibung von Programmoduln zum Entwurf zuverlässiger Softwaresysteme - Altmann, Werner, Dr (Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Friedrich Alexander Universität Erlangen Nürnberg ;, 1978)