Barbosa LS, Lumpe M.? 2014.??Formal Aspects of Component Software. Science of Computer Programming. 94:253-254.