To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)