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

Davies, J. (1993). Specification and proof in real-time CPS. Cambridge University Press.

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

Davies, J. Specification and Proof in Real-time CPS. New York: Cambridge University Press, 1993.

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

Davies, J. Specification and Proof in Real-time CPS. Cambridge University Press, 1993.