APA stil citiranja

Bailey, B., & Martin, G. (2005). Taxonomies for the development and verification of digital systems: Taxonomies for the development and verification of digital systems (1. izd.). Springer-Verlag.

Chicago stil citiranja

Bailey, Brian, and Grant Martin. Taxonomies for the development and verification of digital systems: Taxonomies for the development and verification of digital systems. 1. izd. Springer-Verlag, 2005.

MLA stil citiranja

Bailey, Brian, and Grant Martin. Taxonomies for the development and verification of digital systems: Taxonomies for the development and verification of digital systems. 1. izd. Springer-Verlag, 2005.