Derek Rayside Zev Benjamin Rishabh Singh Joseph P. Near Aleksandar Milicevic Daniel Jackson 0001 Equality and hashing for (almost) free: Generating implementations from abstraction functions. 342-352 2009 ICSE https://doi.org/10.1109/ICSE.2009.5070534 https://doi.ieeecomputersociety.org/10.1109/ICSE.2009.5070534 http://dl.acm.org/citation.cfm?id=1555049 conf/icse/2009 db/conf/icse/icse2009.html#RaysideBSNMJ09