Compositionality and compatibility of parameterization and parameter passing in specification languages | Publicación