@book{19129,
	author = {Goguen, Joseph and Malcolm, Grant},
	title = {Algebraic semantics of imperative programs /},
	publisher = {MIT Press,},
	year = {c1996},
	address = {Cambridge, Mass. :}
}