To Dissect a Mockingbird- A Graphical Notation for the Lambda Calculus with Animated Reduction - David C Keenan