publications:
- title: "Constructing Programs or Processes"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2005"
  doi: "http://www.jucs.org/jucs_11_12/constructing_programs_or_processes"
  links:
    doi: "http://www.jucs.org/jucs_11_12/constructing_programs_or_processes"
  researchr: "https://researchr.org/publication/ReevesS05"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "11"
  number: "12"
  pages: "2034-2045"
  kind: "article"
  key: "ReevesS05"
- title: "General Refinement, Part One: Interfaces, Determinism and Special Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.013"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS08a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "214"
  pages: "277-307"
  kind: "article"
  key: "ReevesS08a"
- title: "Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts"
  author:
  - name: "Robi Malik"
    link: "https://researchr.org/alias/robi-malik"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3299&spage=120"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3299&spage=120"
  tags:
  - "process algebra"
  - "testing"
  - " algebra"
  researchr: "https://researchr.org/publication/MalikSR04"
  cites: 0
  citedby: 0
  pages: "120-134"
  booktitle: "ATVA"
  kind: "inproceedings"
  key: "MalikSR04"
- title: "Comparison of Data and Process Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=266"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=266"
  tags:
  - "refinement"
  - "data-flow"
  researchr: "https://researchr.org/publication/ReevesS03"
  cites: 0
  citedby: 0
  pages: "266-285"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "ReevesS03"
- title: "Refinement for user interface designs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s00165-008-0095-2"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-008-0095-2"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BowenR09-0"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "21"
  number: "6"
  pages: "589-612"
  kind: "article"
  key: "BowenR09-0"
- title: "Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)"
  author:
  - name: "Robert Johnson"
    link: "https://researchr.org/alias/robert-johnson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1992"
  researchr: "https://researchr.org/publication/JohnsonR92"
  cites: 0
  citedby: 0
  pages: "37-39"
  booktitle: "tableaux"
  kind: "inproceedings"
  key: "JohnsonR92"
- title: "Investigating Z"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HensonR00%3A0"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "10"
  number: "1"
  pages: "43-73"
  kind: "article"
  key: "HensonR00:0"
- title: "Specifying and Reasoning About CSCW"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1996"
  researchr: "https://researchr.org/publication/Reeves96"
  cites: 0
  citedby: 0
  pages: "366-391"
  booktitle: "DSVIS"
  kind: "inproceedings"
  key: "Reeves96"
- title: "Modular Synthesis of Discrete Controllers"
  author:
  - name: "Petra Malik"
    link: "https://researchr.org/alias/petra-malik"
  - name: "Robi Malik"
    link: "https://researchr.org/alias/robi-malik"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.31"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.31"
  researchr: "https://researchr.org/publication/MalikMSR07"
  cites: 0
  citedby: 0
  pages: "25-34"
  booktitle: "ICECCS"
  kind: "inproceedings"
  key: "MalikMSR07"
- title: "Developing usability studies via formal models of UIs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1822018.1822044"
  links:
    doi: "http://doi.acm.org/10.1145/1822018.1822044"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eics/BowenR10"
  researchr: "https://researchr.org/publication/BowenR10"
  cites: 0
  citedby: 0
  pages: "175-180"
  booktitle: "EICS"
  kind: "inproceedings"
  key: "BowenR10"
- title: "Refinement for User Interface Designs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.104"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.104"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BowenR08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "208"
  pages: "5-22"
  kind: "article"
  key: "BowenR08"
- title: "Editorial"
  author:
  - name: "Krysia Broda"
    link: "https://researchr.org/alias/krysia-broda"
  - name: "Marcello D Agostino"
    link: "https://researchr.org/alias/marcello-d-agostino"
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Rob Johnson"
    link: "https://researchr.org/alias/rob-johnson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1995"
  doi: "http://dx.doi.org/10.1093/jigpal/3.6.826"
  links:
    doi: "http://dx.doi.org/10.1093/jigpal/3.6.826"
  researchr: "https://researchr.org/publication/BrodaDGJR95"
  cites: 0
  citedby: 0
  journal: "igpl"
  volume: "3"
  number: "6"
  pages: "826"
  kind: "article"
  key: "BrodaDGJR95"
- title: "µ-Chart-Based Specification and Refinement"
  author:
  - name: "Doug Goldson"
    link: "https://researchr.org/alias/doug-goldson"
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2495/24950323.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2495/24950323.htm"
  tags:
  - "rule-based"
  - "refinement"
  researchr: "https://researchr.org/publication/GoldsonRR02"
  cites: 0
  citedby: 0
  pages: "323-334"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "GoldsonRR02"
- title: "Generic Tools via General Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.093"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.093"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "207"
  pages: "187-202"
  kind: "article"
  key: "ReevesS08"
- title: "Operation Refinement and Monotonicity in the Schema Calculus"
  author:
  - name: "Moshe Deutsch"
    link: "https://researchr.org/alias/moshe-deutsch"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510103.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2651/26510103.htm"
  tags:
  - "XML"
  - "XML Schema"
  - "refinement"
  - "C++"
  researchr: "https://researchr.org/publication/DeutschHR03"
  cites: 0
  citedby: 0
  pages: "103-126"
  booktitle: "zum"
  kind: "inproceedings"
  key: "DeutschHR03"
- title: "Formal Refinement of Informal GUI Design Artefacts"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.28"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.28"
  tags:
  - "refinement"
  - "design"
  researchr: "https://researchr.org/publication/BowenR06"
  cites: 0
  citedby: 0
  pages: "221-230"
  booktitle: "ASWEC"
  kind: "inproceedings"
  key: "BowenR06"
- title: "Teaching formal methods lite via testing"
  author:
  - name: "Mark Utting"
    link: "https://researchr.org/alias/mark-utting"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2001"
  tags:
  - "testing"
  - "teaching"
  researchr: "https://researchr.org/publication/UttingR01"
  cites: 0
  citedby: 0
  journal: "stvr"
  volume: "11"
  number: "3"
  pages: "181-195"
  kind: "article"
  key: "UttingR01"
- title: "Preface"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.013"
  researchr: "https://researchr.org/publication/BoitenDR09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "259"
  pages: "1"
  kind: "article"
  key: "BoitenDR09"
- title: "Behavioral modeling for mobile agent systems using Petri nets"
  author:
  - name: "Ali A. Pouyan"
    link: "https://researchr.org/alias/ali-a.-pouyan"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2004"
  doi: "http://dx.doi.org/10.1109/ICSMC.2004.1401313"
  links:
    doi: "http://dx.doi.org/10.1109/ICSMC.2004.1401313"
  tags:
  - "modeling"
  - "mobile"
  researchr: "https://researchr.org/publication/PouyanR04"
  cites: 0
  citedby: 0
  pages: "4935-4940"
  booktitle: "SMC"
  kind: "inproceedings"
  key: "PouyanR04"
- title: "A Logic for the Schema Calculus"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1998"
  tags:
  - "XML"
  - "XML Schema"
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonR98"
  cites: 0
  citedby: 0
  pages: "172-191"
  booktitle: "zum"
  kind: "inproceedings"
  key: "HensonR98"
- title: "Guarded Operations, Refinement and Simulation"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.024"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.024"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "259"
  pages: "177-191"
  kind: "article"
  key: "ReevesS09"
- title: "Using formal models to design user interfaces: a case study"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1531294.1531316"
  links:
    doi: "http://doi.acm.org/10.1145/1531294.1531316"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/bcshci/BowenR07"
  tags:
  - "case study"
  - "design"
  researchr: "https://researchr.org/publication/BowenR07-0"
  cites: 0
  citedby: 0
  pages: "159-166"
  booktitle: "bcshci"
  kind: "inproceedings"
  key: "BowenR07-0"
- title: "Formal Models for Informal GUI Designs"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.061"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.061"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BowenR07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "183"
  pages: "57-72"
  kind: "article"
  key: "BowenR07"
- 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: "Atomic Components"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=128"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=128"
  researchr: "https://researchr.org/publication/ReevesS04"
  cites: 0
  citedby: 0
  pages: "128-139"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "ReevesS04"
- title: "Stepwise Refinement of Processes"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.028"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.028"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "160"
  pages: "275-289"
  kind: "article"
  key: "ReevesS06"
- title: "Feature Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.14"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.14"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS07"
  cites: 0
  citedby: 0
  pages: "371-380"
  booktitle: "SEFM"
  kind: "inproceedings"
  key: "ReevesS07"
- title: "Conflicts and Fair Testing"
  author:
  - name: "Robi Malik"
    link: "https://researchr.org/alias/robi-malik"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2006"
  doi: "http://dx.doi.org/10.1142/S012905410600411X"
  links:
    doi: "http://dx.doi.org/10.1142/S012905410600411X"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/MalikSR06"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "17"
  number: "4"
  pages: "797-814"
  kind: "article"
  key: "MalikSR06"
- title: "UI-Design Driven Model-Based Testing"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/314"
  links:
    doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/314"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/BowenR09"
  tags:
  - "rule-based"
  - "testing"
  - "design"
  researchr: "https://researchr.org/publication/BowenR09-1"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "22"
  kind: "article"
  key: "BowenR09-1"
- title: "A Survey of Software Development Practices in the New Zealand Software Industry "
  author:
  - name: "Lindsay Groves"
    link: "https://researchr.org/alias/lindsay-groves"
  - name: "Ray Nickson"
    link: "https://researchr.org/alias/ray-nickson"
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Mark Utting"
    link: "https://researchr.org/alias/mark-utting"
  year: "2000"
  doi: "http://csdl.computer.org/comp/proceedings/aswec/2000/0631/00/06310189abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/aswec/2000/0631/00/06310189abs.htm"
  tags:
  - "survey"
  researchr: "https://researchr.org/publication/GrovesNRRU00"
  cites: 0
  citedby: 0
  pages: "189-202"
  booktitle: "ASWEC"
  kind: "inproceedings"
  key: "GrovesNRRU00"
- title: "Idioms for mu-Chart"
  author:
  - name: "Grant Anderson"
    link: "https://researchr.org/alias/grant-anderson"
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540224abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540224abs.htm"
  researchr: "https://researchr.org/publication/AndersonRR01"
  cites: 0
  citedby: 0
  pages: "224-234"
  booktitle: "ASWEC"
  kind: "inproceedings"
  key: "AndersonRR01"
- title: "Revising Z: Part I - Logic and Semantics"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110359.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110359.htm"
  tags:
  - "semantics"
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonR99"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "11"
  number: "4"
  pages: "359-380"
  kind: "article"
  key: "HensonR99"
- title: "Supporting Multi-path UI Development with Vertical Refinement"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ASWEC.2009.24"
  links:
    doi: "http://dx.doi.org/10.1109/ASWEC.2009.24"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BowenR09"
  cites: 0
  citedby: 0
  pages: "64-72"
  booktitle: "ASWEC"
  kind: "inproceedings"
  key: "BowenR09"
- title: "Formal models for user interface design artefacts"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s11334-008-0049-0"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-008-0049-0"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BowenR08-0"
  cites: 0
  citedby: 0
  journal: "isse"
  volume: "4"
  number: "2"
  pages: "125-141"
  kind: "article"
  key: "BowenR08-0"
- title: "Data refinement and singleton failures refinement are not equivalent"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s00165-008-0076-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-008-0076-5"
  tags:
  - "refinement"
  - "data-flow"
  researchr: "https://researchr.org/publication/ReevesS08%3A0"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "20"
  number: "3"
  pages: "295-301"
  kind: "article"
  key: "ReevesS08:0"
- title: "A Logic for Schema-Based Program Development"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s00165-003-0004-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-003-0004-7"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "C++"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HensonR03"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "15"
  number: "1"
  pages: "48-83"
  kind: "article"
  key: "HensonR03"
- title: "mu-Charts and Z: Hows, Whys, and Wherefores"
  author:
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450255.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450255.htm"
  researchr: "https://researchr.org/publication/ReeveR00%3A0"
  cites: 0
  citedby: 0
  pages: "255-276"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "ReeveR00:0"
- title: "Including Design Guidelines in the Formal Specification of Interfaces in Z"
  author:
  - name: "Judy Bowen"
    link: "https://researchr.org/alias/judy-bowen"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11415787_26"
  links:
    doi: "http://dx.doi.org/10.1007/11415787_26"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BowenR05"
  cites: 0
  citedby: 0
  pages: "454-471"
  booktitle: "zum"
  kind: "inproceedings"
  key: "BowenR05"
- title: "Logic and refinement for charts"
  author:
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1151699.1151701"
  links:
    doi: "http://doi.acm.org/10.1145/1151699.1151701"
  tags:
  - "refinement"
  - "logic"
  researchr: "https://researchr.org/publication/ReeveR06"
  cites: 0
  citedby: 0
  pages: "13-23"
  booktitle: "acsc"
  kind: "inproceedings"
  key: "ReeveR06"
- title: "Results on Formal Stepwise Design in Z"
  author:
  - name: "Moshe Deutsch"
    link: "https://researchr.org/alias/moshe-deutsch"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2002/1850/00/18500033abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2002/1850/00/18500033abs.htm"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/DeutschHR02"
  cites: 0
  citedby: 0
  pages: "33-42"
  booktitle: "apsec"
  kind: "inproceedings"
  key: "DeutschHR02"
- title: "Revising Z: Part II - Logical Development"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110381.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/9011004/90110381.htm"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HensonR99a"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "11"
  number: "4"
  pages: "381-401"
  kind: "article"
  key: "HensonR99a"
- title: "General Refinement, Part Two: Flexible Refinement"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.014"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ReevesS08b"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "214"
  pages: "309-329"
  kind: "article"
  key: "ReevesS08b"
- title: "A Review of Several Programs for the Teaching of Logic"
  author:
  - name: "Doug Goldson"
    link: "https://researchr.org/alias/doug-goldson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Richard Bornat"
    link: "https://researchr.org/alias/richard-bornat"
  year: "1993"
  tags:
  - "logic programming"
  - "reviewing"
  - "teaching"
  - "logic"
  researchr: "https://researchr.org/publication/GoldsonRB93"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "36"
  number: "4"
  pages: "373-386"
  kind: "article"
  key: "GoldsonRB93"
- title: "A Robust Semantics Hides Fewer Errors"
  author:
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "David Streader"
    link: "https://researchr.org/alias/david-streader"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_32"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_32"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/ReevesS09-0"
  cites: 0
  citedby: 0
  pages: "499-515"
  booktitle: "FM"
  kind: "inproceedings"
  key: "ReevesS09-0"
- title: "mu-Charts and Z: examples and extensions"
  author:
  - name: "Greg Reeve"
    link: "https://researchr.org/alias/greg-reeve"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150258abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150258abs.htm"
  researchr: "https://researchr.org/publication/ReeveR00"
  cites: 0
  citedby: 0
  pages: "258"
  booktitle: "apsec"
  kind: "inproceedings"
  key: "ReeveR00"
- title: "An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I"
  author:
  - name: "Moshe Deutsch"
    link: "https://researchr.org/alias/moshe-deutsch"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2003"
  doi: "http://www3.oup.co.uk/igpl/Volume_11/Issue_03/#DeutschI"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_11/Issue_03/#DeutschI"
  tags:
  - "semantics"
  - "refinement"
  - "analysis"
  - "C++"
  researchr: "https://researchr.org/publication/DeutschHR03%3A0"
  cites: 0
  citedby: 0
  journal: "igpl"
  volume: "11"
  number: "3"
  pages: "287-317"
  kind: "article"
  key: "DeutschHR03:0"
- title: "Program Development and Specification Refinement in the Schema Calculus"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780344.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780344.htm"
  tags:
  - "XML"
  - "XML Schema"
  - "refinement"
  - "C++"
  researchr: "https://researchr.org/publication/HensonR00"
  cites: 0
  citedby: 0
  pages: "344-362"
  booktitle: "zum"
  kind: "inproceedings"
  key: "HensonR00"
- title: "Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11811-1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11811-1"
  tags:
  - "state machines"
  - "abstract machine"
  researchr: "https://researchr.org/publication/asm-2010"
  cites: 0
  citedby: 0
  booktitle: "Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings"
  conference: "asm"
  editor:
  - name: "Marc Frappier"
    link: "https://researchr.org/alias/marc-frappier"
  - name: "Uwe Glässer"
    link: "https://researchr.org/alias/uwe-gl%C3%A3%C2%A4sser"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  - name: "Régine Laleau"
    link: "https://researchr.org/alias/r%C3%A3%C2%A9gine-laleau"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  volume: "5977"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11810-4"
  kind: "proceedings"
  key: "asm-2010"