Comprehensive Algebraic Approach to System Specification and Development
The COMPASS Working Group
General Publications