@article{KP:09,
  author = {Keimel, Klaus and Plotkin, Gordon D.},
  pages = {501--539},
  title = {Predicate transformers for convex powerdomains},
  volume = {19},
  year = 2009,
  journal = {Mathematical Structures in Computer Science},
}