Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick. A correctness criterion for asynchronous circuit validation and optimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 13(11):1309-1318, 1994. [doi]
Abstract is missing.