@InProceedings{   DBLP:conf/ifip/Jones83,
  Author        = "Jones, Cliff B.",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "IFIP Congress",
  date-added    = "2013-01-30 17:31:40 +0000",
  date-modified = "2013-01-30 17:31:48 +0000",
  Keywords      = "no pdf",
  Pages         = "321-332",
  Title         = "Specification and Design of (Parallel) Programs",
  Year          = "1983"
}

@InProceedings{ DBLP:conf/ifip/Jones83, Author = "Jones, Cliff B.", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "IFIP Congress", date-added = "2013-01-30 17:31:40 +0000", date-modified = "2013-01-30 17:31:48 +0000", Keywords = "no pdf", Pages = "321-332", Title = "Specification and Design of (Parallel) Programs", Year = "1983" }