Alexandre Yakovlev A. I. Petrov Leonid Ya. Rosenblum Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs. 71-85 1993 conf/ifip10-5/1993 Asynchronous Design Methodologies db/conf/ifip10-5/ifip10-5-1993.html#YakovlevPR93