Allen B. Tucker, Robert E. Noonan. Integrating formal models into the programming languages course. In Judith L. Gersting, Henry MacKay Walker, Scott Grissom, editors, Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002, Cincinnati, Kentucky, USA, February 27 - March 3, 2002. pages 346-350, ACM, 2002. [doi]
Abstract is missing.