@book{12423,
	author = {Goldblatt, Robert},
	title = {Axiomatising the logic of computer programming},
	publisher = {Springer-Verlag},
	year = {1982},
	series = {Lecture notes in Computer Science},
	address = {Berlin}
}