Victor Khomenko Mark Schäfer Walter Vogler Output-Determinacy and Asynchronous Circuit Synthesis. 147-156 2007 conf/acsd/2007 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.57 db/conf/acsd/acsd2007.html#KhomenkoSV07