Algorithms for synthesis and testing of asynchronous circuits - Lavagno, Luciano (Kluwer Academic Publishers, 1993)