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

Hailpern, B. T. (1982). Verifying concurrent processes using temporal logic. Springer-Verlag.

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

Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Berlin: Springer-Verlag, 1982.

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

Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Springer-Verlag, 1982.