Robert Bruce Findler Shu-yu Guo Anne Rogers Lazy Contract Checking for Immutable Data Structures. 111-128 2007 IFL http://dx.doi.org/10.1007/978-3-540-85373-2_7 conf/ifl/2007 db/conf/ifl/ifl2007.html#FindlerGR07