Aceto, L. (2007) Reactive systems : modelling, specification and verification [cd]. Cambridge: Cambridge University Press.
Chicago Manual of Style 17th edition (full note)Aceto, Luca. Reactive systems : modelling, specification and verification. Cd. Cambridge: Cambridge University Press, [2007?], Cambridge: Cambridge University Press, [2007?].
American Psychological Association 7th editionAceto, L. (ca. 2007). Reactive systems : modelling, specification and verification [Cd]. Cambridge University Press.
Modern Language Association 9th editionAceto, L. Reactive systems : modelling, specification and verification. cd, Cambridge University Press, 2007.
ISO-690 (author-date, Deutsch)ACETO, Luca, 2007. Reactive systems : modelling, specification and verification. Cambridge: Cambridge University Press. ISBN 9780511814105
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.