@book{12339,
	author = {Scott, Micheal L.},
	title = {Programming Language progrmatics},
	publisher = {Elsevier},
	edition = {2nd ed.}
}