@InProceedings{   Reynolds68,
  Author        = "Reynolds, John C.",
  BookTitle     = "IFIP Congress (1)",
  citeulike-article-id="5917482",
  citeulike-linkout-0="ftp://ftp.cs.cmu.edu/user/jcr/autodataset.pdf",
  date-added    = "2013-06-28 14:29:08 +0000",
  date-modified = "2013-07-17 12:54:28 +0000",
  Keywords      = "control-flow analysis and classic and readme",
  Pages         = "456--461",
  posted-at     = "2009-10-09 20:21:49",
  priority      = "0",
  Title         = "Automatic computation of data set definitions",
  URL           = "ftp://ftp.cs.cmu.edu/user/jcr/autodataset.pdf",
  Year          = "1968",
  bdsk-url-1    = "ftp://ftp.cs.cmu.edu/user/jcr/autodataset.pdf",
  File          = "Automatic computation of data set definitions - Reynolds (0) (0) - a - a - i.pdf"
}

@InProceedings{ Reynolds68, Author = "Reynolds, John C.", BookTitle = "IFIP Congress (1)", citeulike-article-id="5917482", citeulike-linkout-0="ftp://ftp.cs.cmu.edu/user/jcr/autodataset.pdf", date-added = "2013-06-28 14:29:08 +0000", date-modified = "2013-07-17 12:54:28 +0000", Keywords = "control-flow analysis and classic and readme", Pages = "456--461", posted-at = "2009-10-09 20:21:49", priority = "0", Title = "Automatic computation of data set definitions", URL = "ftp://ftp.cs.cmu.edu/user/jcr/autodataset.pdf", Year = "1968", bdsk-url-1 = "ftp://ftp.cs.cmu.edu/user/jcr/autodataset.pdf", File = "Automatic computation of data set definitions - Reynolds (0) (0) - a - a - i.pdf" }