[SatvikBeri]

And more generally, the Lambda Papers by Guy Steele and Gerald Sussman, which also include "Lambda: The Ultimate Declarative", "Lambda: The Ultimate GOTO", and "Lambda: The Ultimate Opcode".

https://commons.wikimedia.org/wiki/Lambda_Papers