John Harrison Formal Verification at Intel. 45- 2003 conf/lics/2003 LICS http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840045abs.htm db/conf/lics/lics2003.html#Harrison03