Schmidt, E. M., Skyum, S. & Nielsen, M., 2012, Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (red.). Springer, s. 3411 s. (Lecture Notes in Computer Science, Bind 7230).
Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling