@InCollection{    springerlink:10.1007/BFb0059696,
  Author        = "Hoare, C.",
  Editor        = "Engeler, E.",
  BookTitle     = "Symposium on Semantics of Algorithmic Languages",
  date-added    = "2012-04-15 13:15:31 +0100",
  date-modified = "2012-04-15 12:15:39 +0000",
  ISBN          = "978-3-540-05377-4",
  keyword       = "Mathematics and Statistics",
  Keywords      = "axiomatic semantics",
  Note          = "10.1007/BFb0059696",
  Pages         = "102-116",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "Lecture Notes in Mathematics",
  Title         = "Procedures and parameters: An axiomatic approach",
  URL           = "http://dx.doi.org/10.1007/BFb0059696",
  Volume        = "188",
  Year          = "1971",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BFb0059696",
  File          = "Procedures and parameters An axiomatic approach - Hoare (0) (0) - a - a - p.pdf"
}

@InCollection{ springerlink:10.1007/BFb0059696, Author = "Hoare, C.", Editor = "Engeler, E.", BookTitle = "Symposium on Semantics of Algorithmic Languages", date-added = "2012-04-15 13:15:31 +0100", date-modified = "2012-04-15 12:15:39 +0000", ISBN = "978-3-540-05377-4", keyword = "Mathematics and Statistics", Keywords = "axiomatic semantics", Note = "10.1007/BFb0059696", Pages = "102-116", Publisher = "Springer Berlin / Heidelberg", Series = "Lecture Notes in Mathematics", Title = "Procedures and parameters: An axiomatic approach", URL = "http://dx.doi.org/10.1007/BFb0059696", Volume = "188", Year = "1971", bdsk-url-1 = "http://dx.doi.org/10.1007/BFb0059696", File = "Procedures and parameters An axiomatic approach - Hoare (0) (0) - a - a - p.pdf" }