Entwurf und Prüfung sicherer Rechnersysteme. - Franz Dernoschek; Heinrich Krebs (Microcomputing, 1983)