Rechnergestützte Analyse von hierarchischen Automatennetzen. - Waleri Blochin (1989)