Aspects of programs with finite modes - Langmaack, Hans (Institut für Informatik und Praktische Mathematik <Kiel>: Bericht, 1983)