@TechReport{      Milner:1973:ML:891977,
  Author        = "Milner, Robin",
  Address       = "Stanford, CA, USA",
  date-added    = "2013-07-09 12:58:26 +0000",
  date-modified = "2013-12-27 17:57:33 +0000",
  Keywords      = "classic and readme",
  Publisher     = "Stanford University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Astan\%3ASTAN\%2F\%2FCS-TR-73-332",
  Title         = "Models of {LCF}",
  Year          = "1973",
  bdsk-url-1    = "http://www.jantar.org/lcf/",
  File          = "Models of LCF - Milner (0) (0) - a - a - n.pdf",
  file-2        = "Models of LCF - Milner (1) (0) - a - a - n.pdf"
}

@TechReport{ Milner:1973:ML:891977, Author = "Milner, Robin", Address = "Stanford, CA, USA", date-added = "2013-07-09 12:58:26 +0000", date-modified = "2013-12-27 17:57:33 +0000", Keywords = "classic and readme", Publisher = "Stanford University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Astan\%3ASTAN\%2F\%2FCS-TR-73-332", Title = "Models of {LCF}", Year = "1973", bdsk-url-1 = "http://www.jantar.org/lcf/", File = "Models of LCF - Milner (0) (0) - a - a - n.pdf", file-2 = "Models of LCF - Milner (1) (0) - a - a - n.pdf" }