Derek Rayside Zev Benjamin Rishabh Singh Joseph P. Near Aleksandar Milicevic Daniel Jackson Equality and hashing for (almost) free: Generating implementations from abstraction functions. 342-352 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070534 conf/icse/2009 db/conf/icse/icse2009.html#RaysideBSNMJ09