Optimal simulation of self-verifying automata by deterministic automata
scientific article; zbMATH DE number 5932329