Author: GI-Fachtagung Theoretische Informatik Aachen 1979.