A basic contract language for web services (2006)

by S Carpineti, C Laneve
Venue:In ESOP, volume 3924 of LNCS