Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (0)

by H Ehrig, B Mahr