The algebraic data type specification language. - Luc Duponcheel; Jurgen Heyman; Willy Van Puymbroeck; Johan Lewi; Ivo Van Horebeek (Microprocess. Microprogramming, 1987)

Remarks on many-sorted equational logic with respect to algebraic implementations. - Eric van Gestel; Ivo Van Horebeek (ACM SIGPLAN Notices, 1988)

An Exception Handling Method for Constructive Algebraic Specifications. - Ivo Van Horebeek; Johan Lewi; Eddi Bevers; Luc Duponcheel; Willy Van Puymbroeck (Softw. Pract. Exp., 1988)

Formal Specifications Based on Many-Sorted Initial Algebras and their Applications to Software Engineering. - Ivo Van Horebeek (1988)

Are constructive formal specifications less abstract? - Ivo Van Horebeek; Johan Lewi (ACM SIGPLAN Notices, 1990)

Generation of Interactive Parsers With Error Handling. - Eric Steegmans; Johan Lewi; Ivo Van Horebeek (IEEE Trans. Software Eng., 1992)