Equality and hashing for (almost) free: Generating implementations from abstraction functions. - Derek Rayside; Zev Benjamin; Rishabh Singh; Joseph P. Near; Aleksandar Milicevic; Daniel Jackson 001 (ICSE, 2009)