Algebraic Specifications in Software Engineering by Ivo Van Horebeek