Text this: A formal language for the specification and verification of synchronous and asynchronous circuits David M. Russinoff. [microform] /