APA-viite (7. p.)

(1992). Specifying message passing and time-critical systems with temporal logic / Ron Koymans.

Chicago-viite (17. p.)

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

MLA-viite (9. p.)

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

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.