publications:
- title: "Z Logic and its Consequences"
  author:
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2003"
  tags:
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonRB03"
  cites: 0
  citedby: 0
  journal: "cai"
  volume: "22"
  number: "4"
  pages: "381-415"
  kind: "article"
  key: "HensonRB03"
- title: "ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings"
  year: "2002"
  researchr: "https://researchr.org/publication/zum%3A2002"
  cites: 0
  citedby: 0
  booktitle: "ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings"
  conference: "zum"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Ken Robinson"
    link: "https://researchr.org/alias/ken-robinson"
  volume: "2272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43166-7"
  kind: "proceedings"
  key: "zum:2002"