Aceto, L., Anna Ingólfsdóttir, Guldstrand Larsen, K., & Srba, J. (2007). Reactive systems: Modelling, specification and verification (1. publ.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Aceto, Luca, Anna Ingólfsdóttir, Kim Guldstrand Larsen, und Jiří Srba. Reactive Systems: Modelling, Specification and Verification. 1. publ. Cambridge: Cambridge Univ. Press, 2007.
MLA-Zitierstil (9. Ausg.)Aceto, Luca, et al. Reactive Systems: Modelling, Specification and Verification. 1. publ. Cambridge Univ. Press, 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.