ProofChecker: an accessible environment for automata theory correctness proofs. - Matthias F. Stallmann; Suzanne Balik; Robert D. Rodman; Sina Bahram; Michael C. Grace; Susan D. High (ITiCSE, 2007)