Formal Aspects of Component Software | Publicación