Industrial Application of Theorem Proving to System Level Design. - Simon Bainbridge; Albert John Camilleri; Roger Fleming (TPHOLs, 1991)

Theorem Proving as an Industrial Tool for System Level Desgin. - Simon Bainbridge; Albert John Camilleri; Roger Fleming (TPCD, 1992)