@dblp

Fundamentals of Algebraic Specification 2

, and . EATCS Monographs on Theoretical Computer Science Springer, (1990)

Links and resources

Tags