"Lambda: The Ultimate Goto"
( https://en.wikisource.org/wiki/Lambda:_The_Ultimate_GOTO )
as they go into how the Lisp-y abstractions can correspond to machine code (as in interpreters and compilers).