Ivo Horebeek

Algebraic Specifications in Software Engineering