@techreport{Momtahan2004:Simple,
  title = "A Simple Small Model Theorem for {A}lloy",
  author = "Lee Momtahan",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "June",
  number = "RR-04-11",
}