Author: Tagung "Theoretische Probleme der Informatik" (1985 Technische Hochschule Karl-Marx-Stadt)