Παραπομπή σε μορφή APA (7η εκδ.)
ebrary, Inc, & Queiroz, R. J. G. B. d. (2003). Logic for concurrency and synchronisation. Kluwer Academic Publishers.
Παραπομπή σε μορφή Chicago (17η εκδ.)
ebrary, Inc, και Ruy J. G. B. de Queiroz. Logic for Concurrency and Synchronisation. Dordrecht ; Boston: Kluwer Academic Publishers, 2003.
Παραπομπή σε μορφή MLA (9th εκδ.)
ebrary, Inc, και Ruy J. G. B. de Queiroz. Logic for Concurrency and Synchronisation. Kluwer Academic Publishers, 2003.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.