Delay-Insensitive Interface Specification and Synthesis. - Mark B. Josephs; Dennis P. Furey (DATE, 2000)

A Programming Approach to the Design of Asynchronous Logic Blocks. - Mark B. Josephs; Dennis P. Furey (Concurrency and Hardware Design, 2002)

Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. - Hemangee K. Kapoor; Mark B. Josephs; Dennis P. Furey (ACSD, 2004)