The Structure and Complexity of Minimal NFA's over a Unary Alphabet. - Tao Jiang 001; Edward McDowell; Bala Ravikumar (Int. J. Found. Comput. Sci., 1991)