Randal E. Bryant Formal Verification of Pipelined Processors. 1-4 http://link.springer.de/link/service/series/0558/bibs/1384/13840001.htm 1998 conf/tacas/1998 TACAS db/conf/tacas/tacas98.html#Bryant98