APA-viite (7. p.)

Kurshan, R. P. (1994). Computer-aided verification of coordinating processes: The automata-theoretic approach. Princeton University Press.

Chicago-viite (17. p.)

Kurshan, R. P. Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach. Princeton, N.J.: Princeton University Press, 1994.

MLA-viite (8. p.)

Kurshan, R. P. Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach. Princeton University Press, 1994.