Stav dette: Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday / Robert L. Constable, Alexandra Silva (eds.).