10 points by veqq
SICP’s 3rd chapter is similar, which the authors have spent their lives on e.g. Guy Steele did his PhD on similar: https://dspace.mit.edu/handle/1721.1/15890