ISO-690 (author-date, English)

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 edition

Holzmann, 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.