Fundamentals of algebraic specifications I - Equations and initial semantics (1985)

by H Ehrig, B Mahr