@article{Hoare78ii,
  title = "Some properties of Predicate Transformers",
  author = "C.A.R. Hoare",
  year = "1978",
  journal = "Journal of the ACM",
  month = "July",
  number = "3",
  pages = "461--80",
  volume = "25",
}