@techreport{3764, title = "DATA TYPES AS LATTICES", author = "Dana Scott", year = "1976", institution = "OUCL", month = "September", number = "PRG05", pages = "68", }