Algorithms For Synthesis And Testing Of Asynchronous Circuits door Luciano Lavagno & Alberto Sangiovanni-Vincentelli