@techreport{3742,
  title = "LECTURES ON A MATHEMATICAL THEORY OF COMPUTATION",
  author = "Dana S. Scott",
  year = "1981",
  institution = "OUCL",
  month = "May",
  number = "PRG19",
  pages = "152",
}