@dblp

Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems.

, and . Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)

Links and resources

Tags