@book{213347,
	author = {Milne, Robert},
	title = {A theory of programming language semantics},
	publisher = {Chapman and Hall},
	year = {1976},
	address = {London}
}