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

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

An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment. - Luc Jadoul; Luc Duponcheel; Willy Van Puymbroeck (ICSE, 1989)