A lower bound technique for the size of nondeterministic finite automata. - Glaister, Ian (Information processing letters.)