2009
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
Proceedings of the 31st International Conference on Software Engineering, 2009