Automata And Dictionaries by Denis Maurel & Franz Guenthner