@inproceedings{ExecutablePredicates,
  author = "A. W. Roscoe and C.A.R. Hoare",
  booktitle = "{Proceedings of FGCS84 (ICOT, editors)}",
  pages = "220--228",
  title = "Programs as executable predicates",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/5.pdf",
  year = "1984",
}