Describir: A formal language for the specification and verification of synchronous and asynchronous circuits / David M. Russinoff.