Fundamentals of Algebraic Speci 2 { Module Speci and Constraints (1990)

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