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

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

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

Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Berlin ; : Heidelberg: Springer, 1982.

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

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