Shiu-Kai Chin Combining Engineering Vigor with Mathematical Rigor. 152-176 1989 conf/msiw/1989 Hardware Specification, Verification and Synthesis db/conf/msiw/msiw1989.html#Chin89 http://dx.doi.org/10.1007/0-387-97226-9_28