José Luiz Fiadeiro Luis Filipe Andrade Interconnecting Objects via Contracts. 182-183 2001 conf/tools/38-2001 TOOLS (38) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2001.911771 db/conf/tools/tools38-2001.html#FiadeiroA01