Algebraic Specification Techniques and T door Hartman Ehrig & Werner Fey