@Article{         springerlink:10.1007/BF00263765,
  Author        = "Sokolowski, Stefan",
  date-added    = "2012-04-20 13:05:25 +0200",
  date-modified = "2012-04-20 11:05:25 +0000",
  ISSN          = "0001-5903",
  Issue         = "1",
  Journal       = "Acta Informatica",
  keyword       = "Computer Science",
  Note          = "10.1007/BF00263765",
  Pages         = "61-71",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "Axioms for total correctness",
  URL           = "http://dx.doi.org/10.1007/BF00263765",
  Volume        = "9",
  Year          = "1977",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BF00263765",
  File          = "Axioms for total correctness - Sokolowski (0) (0) - a - a - j.pdf"
}

@Article{ springerlink:10.1007/BF00263765, Author = "Sokolowski, Stefan", date-added = "2012-04-20 13:05:25 +0200", date-modified = "2012-04-20 11:05:25 +0000", ISSN = "0001-5903", Issue = "1", Journal = "Acta Informatica", keyword = "Computer Science", Note = "10.1007/BF00263765", Pages = "61-71", Publisher = "Springer Berlin / Heidelberg", Title = "Axioms for total correctness", URL = "http://dx.doi.org/10.1007/BF00263765", Volume = "9", Year = "1977", bdsk-url-1 = "http://dx.doi.org/10.1007/BF00263765", File = "Axioms for total correctness - Sokolowski (0) (0) - a - a - j.pdf" }