Proceedings of the 1995 Monterey Workshop Specification-Based Software Architectures