Or Shriram Krishnamurthi's Automata via Macros - a beautiful little nontrivial example of Scheme macros:

http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk...