B.: Fundamentals of Algebraic Specification 2 (1990)

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