George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Chicago-стиль цитированияGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
MLA-цитированиеGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.