Normal Form in a Delay-Insensitive Algebra. - Rix Groenboom; Mark B. Josephs; Paul G. Lucassen; Jan Tijmen Udding (Asynchronous Design Methodologies, 1993)

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. - Mark B. Josephs; Paul G. Lucassen; Jan Tijmen Udding; Tom Verhoeff (ASYNC, 1994)

Arithmetic for Relative Accuracy. - Rudi van Drunen; Lambert Spaanenburg; Paul G. Lucassen; J. A. G. Nijhuis; Jan Tijmen Udding (IEEE Symposium on Computer Arithmetic, 1995)

On the correctness of the Sproull counterflow pipeline processor. - Paul G. Lucassen; Jan Tijmen Udding (ASYNC, 1996)

Normal Form in DI-Algebra with Recursion. - Paul G. Lucassen; Indra Polak; Jan Tijmen Udding (ASYNC, 1997)