Algorithms for Synthesis and Testing of Asynchronous Circuits - Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto (Springer US, 1993)