Yap Siong Chua Charles N. Winton Teaching theory of computation at the junior level. 69-78 1987 APL http://doi.acm.org/10.1145/28315.28324 db/conf/apl/apl1987.html#ChuaW87