APA način citiranja

Milne, G. (1994). Formal specification and verification of digital systems. McGraw-Hill book co.

Čikaški stil citiranja

Milne, George. Formal Specification and Verification of Digital Systems. London: McGraw-Hill book co, 1994.

MLA način citiranja

Milne, George. Formal Specification and Verification of Digital Systems. McGraw-Hill book co, 1994.