Funke, Joachim ; Gerdes, Heike (1993) Manuale für Videorekorder: Auswahl von Textinhalten unter Verwendung der Theorie endlicher Automaten. .