Ein Beitrag zur Gestaltung strukturierter Entwurfsprozesse digitaler Systeme unter dem Aspekt der Rechnerunterstützung bei der Generierung determinierter Automaten. - Volker Strecke (1986)