@inproceedings{Welch*2005:Automatic,
  author = "James Welch and David Faitelson and Jim Davies",
  booktitle = "Proceedings of Software Engineering and Formal Methods (SEFM) 2005",
  publisher = "IEEE Computer Society Press",
  title = "Automatic Maintenance of Association Invariants",
  year = "2005",
}