Richard Johnsonbaugh David P. Miller Converses of pumping lemmas. 27-30 1990 conf/sigcse/1990 SIGCSE http://doi.acm.org/10.1145/323410.319073 db/conf/sigcse/sigcse1990.html#JohnsonbaughM90