Ivo Van Horebeek

• Algebraic Specifications in Software Engineering: An Introduction
• Algebraic Specifications in Software Engineering