@book{98723,
	author = {Kirkerud, Bjorn},
	title = {Programming Language Semantics},
	publisher = {Thomson Computer Press},
	year = {2004},
	address = {London}
}