Fundamentals of Algebraic Specifications (1985)

by H Ehrig, B Mahr
Venue:Equations and Intitial Semantics