Felleisen, Matthias Semantic engineering with PLT redex - Delhi PHI 2009 - 502 ISBN: 9788120343207 Standard No.: 116324 Subjects--Index Terms: Computer Dewey Class. No.: 005.11 / FEL