Rix Groenboom Mark B. Josephs Paul G. Lucassen Jan Tijmen Udding Normal Form in a Delay-Insensitive Algebra. 57-70 1993 conf/ifip10-5/1993 Asynchronous Design Methodologies db/conf/ifip10-5/ifip10-5-1993.html#GroenboomJLU93