Eine Prüfstrategie für sicherheitsrelevante Prozeßrechner-Software. - Werner Geiger; U. Voges (Fachtagung Prozessrechner, 1977)