Nichtdeterministische Verhaltensbeschreibung und Analyse hierarchischer Automatennetze. - Reinhard Schlechte (1981)