A verified development of hardware using CSP/spl par/B.

Alistair A. McEwan Steve Schneider A verified development of hardware using CSP/spl par/B. 81 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695904 db/conf/memocode/memocode2006.html#McEwanS06