@InCollection{    springerlink:10.1007/BFb0036946,
  Author        = "Smyth, M.",
  Editor        = "Diaz, Josep",
  affiliation   = "University of Edinburgh Department of Computer Science EH9 3JZ Edinburgh Scotland EH9 3JZ Edinburgh Scotland",
  BookTitle     = "Automata, Languages and Programming",
  date-added    = "2012-12-29 14:50:24 +0000",
  date-modified = "2013-04-09 21:01:18 +0000",
  ISBN          = "978-3-540-12317-0",
  keyword       = "Computer Science",
  Keywords      = "domain theory and axiomatic semantics and predicate transformers and classic",
  Note          = "10.1007/BFb0036946",
  Pages         = "662-675",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Power domains and predicate transformers: A topological view",
  URL           = "http://dx.doi.org/10.1007/BFb0036946",
  Volume        = "154",
  Year          = "1983",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BFb0036946",
  File          = "Power domains and predicate transformers A topological view - Smyth (0) (0) - a - a - y.pdf"
}

@InCollection{ springerlink:10.1007/BFb0036946, Author = "Smyth, M.", Editor = "Diaz, Josep", affiliation = "University of Edinburgh Department of Computer Science EH9 3JZ Edinburgh Scotland EH9 3JZ Edinburgh Scotland", BookTitle = "Automata, Languages and Programming", date-added = "2012-12-29 14:50:24 +0000", date-modified = "2013-04-09 21:01:18 +0000", ISBN = "978-3-540-12317-0", keyword = "Computer Science", Keywords = "domain theory and axiomatic semantics and predicate transformers and classic", Note = "10.1007/BFb0036946", Pages = "662-675", Publisher = "Springer Berlin / Heidelberg", Series = "Lecture Notes in Computer Science", Title = "Power domains and predicate transformers: A topological view", URL = "http://dx.doi.org/10.1007/BFb0036946", Volume = "154", Year = "1983", bdsk-url-1 = "http://dx.doi.org/10.1007/BFb0036946", File = "Power domains and predicate transformers A topological view - Smyth (0) (0) - a - a - y.pdf" }