2005-03-12 To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction functionals Dave Keenan ! http://uq.net.au/~zzdkeena/Lambda/index.htm