@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
  title = "From Predicates to Programs: The Semantics of a Method Language",
  author = "David Faitelson and James Welch and Jim Davies",
  year = "2007",
  booktitle = "Proceedings of SBMF 2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "171--187",
  publisher = "Electronic Notes in Theoretical Computer Science",
  volume = "184",
  doi = "10.1016/j.entcs.2007.03.021",
}