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

Proof by Consistency in Conditional Equational Theories. - Eddy Bevers; Johan Lewi (CTRS, 1990)

Program Bifurcation for a Polymorphic Typed Functional Language. - Anne De Niel; Eddy Bevers; Karel De Vlaminck (PEPM, 1991)

Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. - Anne De Niel; Eddi Bevers; Karel De Vlaminck (JTASPEFT/WSA, 1991)

Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. - Eddy Bevers; Johan Lewi (Acta Informatica, 1993)

Polyvariant Constructor Specialisation. - Dirk Dussart; Eddy Bevers; Karel De Vlaminck (PEPM, 1995)