Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson. Equality and hashing for (almost) free: Generating implementations from abstraction functions. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. pages 342-352, IEEE, 2009. [doi]