L.: “Specifying software connectors (2004)

by M Barbosa, Barbosa
Venue:1st International Colloquium on Theorectical Aspects of Computing (ICTAC ’04); 53–68