 | Up a level |
Nierstrasz, Oscar Marius; Achermann, Franz (2003). A Calculus for Modeling Software Components. In: de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul (eds.) Formal Methods for Components and Objects. FMCO 2002. LNCS: Vol. 2852 (pp. 339-360). Springer-Verlag 10.1007/978-3-540-39656-7_14
