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.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.