Jean-Marc Champarnaud Georges Hansel Thomas Paranthoën Djelloul Ziadi Random Generation Models for NFAs. 203-216 2004 9 Journal of Automata, Languages and Combinatorics 2/3 db/journals/jalc/jalc9.html#ChamparnaudHPZ04