Untersuchungen zur Gestaltung und Verifikation von Betriebssystemkomponenten für Mehrmikrorechnersysteme. - Bernd Klühe (1988)