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

Kozen, D. (1982). Logics of programs: Workshop, Yorktown Heights, New York, May 1981. Springer-Verlag.

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

Kozen, Dexter. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Berlin: Springer-Verlag, 1982.

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

Kozen, Dexter. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Springer-Verlag, 1982.