Jifeng He Ian Page Jonathan P. Bowen Towards a Provably Correct Hardware Implementation of Occam. 214-225 1993 conf/charme/1993 CHARME db/conf/charme/charme1993.html#JifengPB93 http://dx.doi.org/10.1007/BFb0021726