Б2.13.
Alt J., Artemov S..
Reflective Lambda-calculus-Москва.// Moscow Computer Sience School 2004, 2004.
