Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday - Robert L. Constable, Alexandra Silva ((Lecture Notes in Computer Science))