Daniel Weise Constraints, Abstraction and Verification. 25-39 1989 conf/msiw/1989 Hardware Specification, Verification and Synthesis db/conf/msiw/msiw1989.html#Weise89 http://dx.doi.org/10.1007/0-387-97226-9_22