author : Johan Lewi

Books

• Algebraic Specifications in Software Engineering: an introduction. 1989, with Ivo Van Horebeek