Simultane Überwachung des Steuerflusses in programmierbaren Systemen - Hümmer, Heinz-Dieter (1986)