Al Davis Bill Coates Ken Stevens Automatic Synthesis of Fast Compact Asynchronous Control Circuits. 193-207 1993 conf/ifip10-5/1993 Asynchronous Design Methodologies db/conf/ifip10-5/ifip10-5-1993.html#DavisCS93