Ernesto Pimentel Valentin Valero Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS http://dx.doi.org/10.4204/EPTCS.68 2011 EPTCS 68 db/series/eptcs/eptcs68.html