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?