Specification and refinement of software connectors - Barbosa, Marco António (2009)
Tese de doutoramento em Informática (área de conhecimento de Fundamentos da Computação)