Simon Bainbridge Albert John Camilleri Roger Fleming Industrial Application of Theorem Proving to System Level Design. 130-142 1991 conf/tphol/1991 TPHOLs db/conf/tphol/tphol1991.html#BainbridgeCF91