Konzepte zur Erhöhung der Zuverlässigkeit und Sicherheit von Software durch Rechnersysteme mit typengesteuerten Operationen. - Gottfried Bonn; Wolf Viehweger (Fehlertolerierende Rechensysteme, 1982)