A theory of contracts for web services (2008)

by Nils Gesbert, Luca Padovani
Venue:In POPL ’08, 35th ACM Symposium on Principles of Programming Languages