(2012). Logic and program semantics: Essays dedicated to Dexter Kozen on the occasion of his 60th birthday / Robert L. Constable, Alexandra Silva (eds.).
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / Robert L. Constable, Alexandra Silva (eds.). 2012.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / Robert L. Constable, Alexandra Silva (eds.). 2012.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.