@techreport{3723,
  title = "TOWARD A MATHEMATICAL SEMANTICS FOR COMPUTER LANGUAGES",
  author = "Dana Scott",
  year = "1971",
  institution = "OUCL",
  month = "August",
  number = "PRG06",
  pages = "49",
}