@PhdThesis{       Gunter,
  Author        = "Gunter, Carl A.",
  date-added    = "2013-04-08 08:49:49 +0000",
  date-modified = "2013-04-08 08:50:40 +0000",
  Keywords      = "domain theory",
  School        = "Carnegie Mellon University",
  Title         = "Profinite Solutions for Recursive Domain Equations",
  Year          = "1985",
  File          = "Profinite Solutions for Recursive Domain Equations - Gunter (0) (0) - a - a - g.pdf"
}

@PhdThesis{ Gunter, Author = "Gunter, Carl A.", date-added = "2013-04-08 08:49:49 +0000", date-modified = "2013-04-08 08:50:40 +0000", Keywords = "domain theory", School = "Carnegie Mellon University", Title = "Profinite Solutions for Recursive Domain Equations", Year = "1985", File = "Profinite Solutions for Recursive Domain Equations - Gunter (0) (0) - a - a - g.pdf" }