Fundamentals of Algebraic Speci cation 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science (1985)

by H Ehrig, B Mahr
Venue:In B. Sarikaya and G.V