@book{328521,
	author = {Felleisen M. and Felleisen M.},
	title = {Semantics Engineering with PLT Redex},
	publisher = {PHI Learning},
	year = {2009}
}