CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings