Paul G. Lucassen, Indra Polak, Jan Tijmen Udding. Normal Form in DI-Algebra with Recursion. In 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 97), 7-10 April 1997, Eindhoven, The Netherlands. pages 167-174, IEEE Computer Society, 1997. [doi]
Abstract is missing.