Neue Rechen- und Testmethoden in der Sicherheitsentwicklung - Zech, G. (Rüsselsheim : Opel, 1980)