Queiroz, R. J. G. B. (2003). Logic for Concurrency and Synchronisation. Springer Netherlands. https://doi.org/10.1007/0-306-48088-3
Chicago-Zitierstil (17. Ausg.)Queiroz, Ruy J. G. B. Logic for Concurrency and Synchronisation. Dordrecht: Springer Netherlands, 2003. https://doi.org/10.1007/0-306-48088-3.
MLA-Zitierstil (9. Ausg.)Queiroz, Ruy J. G. B. Logic for Concurrency and Synchronisation. Springer Netherlands, 2003. https://doi.org/10.1007/0-306-48088-3.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.