Felleisen, Matthias. Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt. - Cambridge, Mass. : MIT Press, 2009. - xii, 502 p. : ill. ; 24 cm. Includes bibliographical references and index. ISBN: 9780262062756 (hardcover : alk. paper) 0262062755 (hardcover : alk. paper) Subjects--Topical Terms: Redex (Computer program language)Domain-specific programming languages.Programming languages (Electronic computers)--Semantics.