Formal specification and verification in VSLI design /
Davie, Bruce S.
Edinburgh : Edinburgh University Press,
1990.
Electronic digital computers