Mensch-Maschine-Schnittstellen in der flexiblen Fertigungssteuerung Entwurf und Realisierung mit abstrakten Automaten - Kramer, Ulrich (Shaker, 1993)