Viktor K. Sabelfeld Äquivalente Transformationen für Flußdiagramme. 127-155 1978 10 Acta Inf. db/journals/acta/acta10.html#Sabelfeld78