author : Ivo Van Horebeek

Books

• Algebraic Specifications in Software Engineering: an introduction. 1989, with Johan Lewi