George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Čikaški stil citiranjaGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
MLA način citiranjaGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.