Hänvisningar gällande denna post

APA-referens (7:e uppl.)
ebrary, Inc, & Queiroz, R. J. G. B. d. (2003). Logic for concurrency and synchronisation. Kluwer Academic Publishers.
Chicago-referens (17:e uppl.)
ebrary, Inc, och Ruy J. G. B. de Queiroz. Logic for Concurrency and Synchronisation. Dordrecht ; Boston: Kluwer Academic Publishers, 2003.
MLA-referens (9:e uppl.)
ebrary, Inc, och Ruy J. G. B. de Queiroz. Logic for Concurrency and Synchronisation. Kluwer Academic Publishers, 2003.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.