@PhdThesis{       Ernst,
  Author        = "Ernst, Michael D.",
  Address       = "Cambridge, MA",
  date-added    = "2013-03-27 13:30:24 +0000",
  date-modified = "2013-03-27 13:30:51 +0000",
  Keywords      = "recursive schemes",
  Month         = "June",
  School        = "MIT Department of Electrical Engineering and Computer Science",
  Title         = "Adequate Models for Recursive Program Schemes",
  Type          = "Bachelors thesis",
  Year          = "1989",
  bdsk-url-1    = "http://homes.cs.washington.edu/\textasciitilde mernst/pubs/rpsmodel-ernst-bsthesis-abstract.html",
  File          = "Adequate Models for Recursive Program Schemes - Ernst (0) (0) - a - a - l.pdf",
  file-2        = "Adequate Models for Recursive Program Schemes - Ernst (0) (0) - a - a - l.ps"
}

@PhdThesis{ Ernst, Author = "Ernst, Michael D.", Address = "Cambridge, MA", date-added = "2013-03-27 13:30:24 +0000", date-modified = "2013-03-27 13:30:51 +0000", Keywords = "recursive schemes", Month = "June", School = "MIT Department of Electrical Engineering and Computer Science", Title = "Adequate Models for Recursive Program Schemes", Type = "Bachelors thesis", Year = "1989", bdsk-url-1 = "http://homes.cs.washington.edu/\textasciitilde mernst/pubs/rpsmodel-ernst-bsthesis-abstract.html", File = "Adequate Models for Recursive Program Schemes - Ernst (0) (0) - a - a - l.pdf", file-2 = "Adequate Models for Recursive Program Schemes - Ernst (0) (0) - a - a - l.ps" }