Contracts as Pairs of Projections (2006)

by Robert Bruce Findler, Matthias Blume
Venue:In Functional and Logic Programming (LNCS