@inproceedings{Momtahan2004:Towards,
  author = "Lee Momtahan",
  booktitle = "Proceedings of AVOCS04",
  month = "August",
  publisher = "Elsevier ENTCS",
  title = "Towards a Small Model Theorem for Data Independent Systems in {A}lloy",
  url = "http://se10.comlab.ox.ac.uk:8080/LeeMomtahan/docs/avocs04_momtahan.ps",
  year = "2004",
}