@misc{misca619ad7e,
title   = {The nondeterministic complexity of a finite automaton},
author = {Simon, Imre},
year = {1987},
publisher = {IME-USP}
}