Author: GI-Fachtagung Theoretische Informatik (3 1977 Darmstadt)