José Luiz Fiadeiro Algebraic Support for Service-Oriented Architecture. 75-82 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220075.htm db/conf/amast/amast2002.html#Fiadeiro02