Michael I. Schwartzbach Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. 1-15 2008 CC http://dx.doi.org/10.1007/978-3-540-78791-4_1 conf/cc/2008 db/conf/cc/cc2008.html#Schwartzbach08