Fundamentals of Algebraic Speci I: Equations and Initial Semantics (1985)

by H Ehrig, B Mahr