Algebraic specification - Wirsing, Martin 1948- (1989)