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

Bradfield, J. C. (1992). Verifying temporal properties of systems. Birkhauser.

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

Bradfield, Julian Charles. Verifying Temporal Properties of Systems. Boston: Birkhauser, 1992.

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

Bradfield, Julian Charles. Verifying Temporal Properties of Systems. Birkhauser, 1992.