Carlos Laufer Daniel Schwabe Semantic Contract Support for E-Business Processes. 67-75 2007 LA-WEB http://doi.ieeecomputersociety.org/10.1109/LA-WEB.2007.47 conf/la-web/2007 db/conf/la-web/la-web2007.html#LauferS07