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

Koymans, R. (1992). Specifying message passing and time-critical systems with temporal logic. Springer.

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

Koymans, Ron. Specifying Message Passing and Time-critical Systems with Temporal Logic. Berlin ; : Heidelberg: Springer, 1992.

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

Koymans, Ron. Specifying Message Passing and Time-critical Systems with Temporal Logic. Springer, 1992.