Paul Loewenstein Reasoning about State Machines in Higher-Order Logic. 67-89 1989 conf/msiw/1989 Hardware Specification, Verification and Synthesis db/conf/msiw/msiw1989.html#Loewenstein89 http://dx.doi.org/10.1007/0-387-97226-9_24