Mark B. Josephs, Dennis P. Furey. A Programming Approach to the Design of Asynchronous Logic Blocks. In Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg, editors, Concurrency and Hardware Design, Advances in Petri Nets. Volume 2549 of Lecture Notes in Computer Science, pages 34-60, Springer, 2002. [doi]
Abstract is missing.