Zur algebraischen Charakterisierung reduzierbarer Flußdiagramme - Schmeck, Hartmut (Bericht / Institut für Informatik und praktische Mathematik, 1981)