Architectural speci in Casl (1999)

by M Bidoit, D Sannella, A Tarlecki
Venue:In Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of LNCS