Rechenberg P., Pomberger G. (Hrsg.): Informatik-Handbuch, Carl Hanser Verlag, 1997, S. 839-855. Formale Sprachen und Automaten