Ivo Horebeek

• Algebraic Specifications in Software Engineering