Stephen Nelson, David J. Pearce, James Noble. Understanding the Impact of Collection Contracts on Design. In Jan Vitek, editor, Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings. Volume 6141 of Lecture Notes in Computer Science, pages 61-78, Springer, 2010. [doi]
Abstract is missing.