Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Constable Robert L. Heftet / 2012 / Engelsk
