Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday - Constable, Robert L.; Silva, Alexandra (Springer Berlin Heidelberg, 2012)