J. L. FiadeiroAntónia LopesL. Bocchi2010-05-212014-11-142010-05-212014-11-1420072007978-3-540-71997-7http://hdl.handle.net/10451/14880http://repositorio.ul.pt/handle/10455/6457engComputer ScienceAlgebraic Semantics of Service Component Modulesbook part