Formal specification and verification of digital systems - Milne George (London McGraw-HillBook Company, 1994)
Bibliographical references 232-235p; Index 236-240p
Keywords: Circuits; Digital integrated; Specification; Electronics