Fundamentals of Equational Specification 1 — equations and initial semantics (1985)

by H Ehrig, B Mahr