@inproceedings{iwaco07,
  title = "Maintaining Invariants Through Object Coupling Mechanisms",
  author = "Eric Kerfoot and Steve McKeever",
  year = "2007",
  booktitle = "3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with
ECOOP 2007",
  editor = "Tobias Wrigstad",
  month = "July",
}