Jim Harris
Department of Mathematics and Computer Science, University of North Carolina at Pembroke, Pembroke, NC
Automata and Computability
Programming non-deterministically using automata simulators
Journal of Computing Sciences in Colleges
Fifty years of automata simulation: a review
ACM Inroads