Goldschlag, David ``Mechanically Verifying Safety and Liveness Properties of
Delay Insensitive Circuits,''  To appear Formal Methods in System Design, 
Fall 1994.
<P>