Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday - Robert L. Constable, editor ([Springer-Verlag, ], 2012)