HOLZMANN, Gerald J., 2004. The spin model checker : primer and reference manual. Boston, MA: Addison-Wesley. ISBN 0321228626.
Elsevier - Harvard (with titles)Holzmann, G.J., 2004. The spin model checker : primer and reference manual, Safari Tech Books Online. Addison-Wesley, Boston, MA.
American Psychological Association 7th editionHolzmann, G. J. (ca. 2004). The spin model checker : primer and reference manual [Cd]. In Safari Tech Books Online. Addison-Wesley.
Springer - Basic (author-date)Holzmann GJ (2004) The spin model checker : primer and reference manual. Addison-Wesley, Boston, MA
Juristische Zitierweise (Stüber) (Deutsch)Holzmann, Gerald J., The spin model checker : primer and reference manual, Boston, MA 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.