Wolfgang Coy Automat - Werkzeug - Medium Informatik Spektrum 18 1 1995 31-38 db/journals/insk/insk18.html#Coy95