TY - BOOK AU - Milne, George TI - Formal specification and verification of digital systems U1 - Computer PY - 1994/// CY - London PB - McGraw-Hill ER -