Author: GI-Fachtagung Theoretische Informatik Darmstadt 1977.