In the bibliography in TI-Scheme Language Reference Manual they mention
[6] Friedman, Haynes, Kohlbecker, and Wand. "Fundamental Abstractions
of Programming Languages and Their Implementation."
Programming Language: Abstractions and Their Implementations.
To appear.
Is this a book? When is it available?