Victor Khomenko Mark Schäfer Walter Vogler Output-Determinacy and Asynchronous Circuit Synthesis. 541-579 2008 88 Fundam. Inform. 4 http://iospress.metapress.com/content/m6m150210259p202/ db/journals/fuin/fuin88.html#KhomenkoSV08