Book,

Fundamentals of Algebraic Specification 2

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews