- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction (LambdaCalculus, Logic, Math, Visualization, Algorithm)
- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction || uq.net.au/~zzdkeena (Computability, Computation, Logic, Visualization, LambdaCalculus)

- Wed Jun 09 14:08:37 EDT 2010 -- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction (LambdaCalculus, Logic, Math, Visualization, Algorithm)
- Mon Aug 02 08:50:24 EDT 2004 -- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction || uq.net.au/~zzdkeena (Computability, Computation, Logic, Visualization, LambdaCalculus)

- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction || uq.net.au/~zzdkeena