Matthias F. Stallmann Suzanne Balik Robert D. Rodman Sina Bahram Michael C. Grace Susan D. High ProofChecker: an accessible environment for automata theory correctness proofs. 48-52 2007 conf/iticse/2007 ITiCSE http://doi.acm.org/10.1145/1268784.1268801 db/conf/iticse/iticse2007.html#StallmannBRBGH07