Algebraic Specifications in Software Engineering door Ivo Van Horebeek