Fevzi Belli. Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. 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 175-188, Springer, 1982.