@techreport{37688,
  title = "READING FORMAL SPECIFICATIONS",
  author = "BERNARD SUFRIN",
  year = "1981",
  institution = "OUCL",
  month = "June",
  number = "PRG24",
  pages = "31",
}