Fundamentals of Algebraic Speci cation 1 (1985)

by H Ehrig, B Mahr
Venue:of EATCS Monographs on Theoretical Computer Science