Algebraic specification. - Bergstra, J. A. (ACM Press frontier series, 1989)