Formal specification and verification of digital systems - Milne, George (London McGraw-Hill, 1994)