APA način citiranja (7. izdanje)

Birtwistle, G. M., & Subrahmanyam, P. A. (1989). Current trends in hardware verification and automated theorem proving. Springer-Verlag.

Čikaški stil citiranja (17. izdanje)

Birtwistle, G. M., i P. A. Subrahmanyam. Current Trends in Hardware Verification and Automated Theorem Proving. New York: Springer-Verlag, 1989.

MLA način citiranja (8. izdanje)

Birtwistle, G. M., i P. A. Subrahmanyam. Current Trends in Hardware Verification and Automated Theorem Proving. Springer-Verlag, 1989.