An Introduction to Scheme and its Implementation
Интересно, что глава “Writing an Interpreter” находится ДО главы “Environments and Procedures”, в которой вводятся let и lambda, а также описывается рекурсия.
Впрочем, цикл read-eval-print написать – невелика задачка, студентам курса SICP, говорят, ставят (ставили) такую в конце семестра.