@inproceedings{Hoare84i,
  title = "Programs as Executable Predicates",
  author = "C.A.R. Hoare and A.W. Roscoe",
  year = "1984",
  booktitle = "Proceedings of the International Conference on Fifth Generation Computer Systems, November 6--9 1984, Tokyo, Japan",
  pages = "220--228",
  publisher = "ICOT",
}