Algorithms for synthesis and testing of asynchronous circuits - Lavagno, Luciano; Sangiovanni-Vicentelli, Alberto (Kluwer Academic Publishers, 1993)
ΕΠΕΑΕΚ/ΙΤΥ