From e1224052f8969ec7ebfb0a382368c91c1424242d Mon Sep 17 00:00:00 2001
From: Thomas Stephens Harold Abelson and Gerald Jay Sussman Structure and Interpretation
-
of Computer Programs
with Julie Sussman 1.1 The Elements of Programming
upward” form of the evaluation rule is an example of a general kind
of process known as tree accumulation.