Loving to learn theory: active learning modules for the theory of computing. - Michael T. Grinder; Seong Baeg Kim; Teresa L. Lutey; Rockford J. Ross; Kathleen F. Walsh (SIGCSE, 2002)