Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Constable, R. L., & Silva, A. (2012). Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Robert L. Constable, και Alexandra Silva. Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer Berlin Heidelberg, 2012.