%0 Conference Proceedings
%B Lecture Notes in Computer Science
%D 2012
%T Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
%A Robert L. Constable
%A Alexandra Silva
%I Springer
%S LNCS
%V 7230