Arjun Guha Jacob Matthews Robert Bruce Findler Shriram Krishnamurthi Relationally-parametric polymorphic contracts. 29-40 2007 DLS http://doi.acm.org/10.1145/1297081.1297089 conf/dls/2007 db/conf/dls/dls2007.html#GuhaMFK07