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.
Παραπομπή σε μορφή Chicago (17η εκδ.)Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, και Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
Παραπομπή σε μορφή MLA (9th εκδ.)Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.