Semantics of architectural specifications in Casl (2001)

by L Schröder, T Mossakowski, A Tarlecki, P Hoffman, B Klin
Venue:In Fundamental Approaches to Software Engineering, volume 2029 of LNCS