Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor. - Wolfgang D. Ehrenberger; G. Rauch; K. Okroy (ICSE, 1976)

Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen. - K. Okroy; Manfred Kersken (Fachtagung Prozessrechner, 1977)