Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc, Esparza, J., Spanfelner, B., & Grumberg, O. (2010). Logics and languages for reliability and security. IOS Press.
Čikaški stil citiranja (17. izdanje)Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, i Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
MLA način citiranja (9. izdanje)Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.