Contracts as Pairs of Projections.

Robert Bruce Findler, Matthias Blume

Browse the full FLOPS paper archive.