@proceedings {CS12,
	title = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday},
	journal = {Lecture Notes in Computer Science},
	volume = {7230},
	year = {2012},
	publisher = {Springer},
	author = {Robert L. Constable and Alexandra Silva}
}