Scheme (Lisp) 関連のなかなかお勧めな本．

Christian Queinnec
Lisp In Small Pieces
Cambridge University Press, 1996, ISBN 0-521-56247-3.

Daniel P. Friedman, Mitchell Wand & Chiristopher T. Haynes
Essentials of Programming Languages (2nd ed.)
MIT Press, 2001, ISBN 0-262-06217-8.

名著SICPを読んだら次はこの２冊．Schemeのセマンティクス，実装，オブジェク
トの表現，型，自己反映，CPS等などを勉強するのにおすすめ．