Implementation and Application of Automata
scientific article; zbMATH DE number 2195094