@techreport{3830,
  title = "SPECIFICATION DIRECTED MODULE TESTING",
  author = "Ian Hayes",
  year = "1985",
  institution = "OUCL",
  month = "July",
  number = "PRG49",
  pages = "30",
}