Bernhard Möller

• Formal Program Development
• Prospects for Hardware Foundations
• Relational and Kleene-Algebraic Methods in Computer Science
• Anaerober Abbau von N-Methylverbindungen, Beschreibung der neuen gramnegativen Gattung Sporomusa
• Die rechtliche Natur des Ausstellungsvertrages
• Exkretorische Funktion und endokrine Regulation der Niere im Süsswasser- und Kohlensäurebad bei unterschiedlichen Badetemperaturen
• Mathematics of Program Construction
• Prospects for Hardware Foundations
• Relations and Kleene Algebra in Computer Science
• Unendliche Objekte und Geflechte