Gottfried Bonn, Wolf Viehweger. Konzepte zur Erhöhung der Zuverlässigkeit und Sicherheit von Software durch Rechnersysteme mit typengesteuerten Operationen. In Edgar Nett, Heinz Schwärtzel, editors, Fehlertolerierende Rechensysteme, GI-Fachtagung, München, 11.-12. März 1982, Proceedings. Volume 54 of Informatik-Fachberichte, pages 220-234, Springer, 1982.
Abstract is missing.