Reynolds, 1972. Definitional interpreters for higher-order programming languages, in: . ACM Press.. https://doi.org/10.1145/800194.805852