@article{ReevesS05,
  title = {Constructing Programs or Processes},
  author = {Steve Reeves and David Streader},
  year = {2005},
  url = {http://www.jucs.org/jucs_11_12/constructing_programs_or_processes},
  researchr = {https://researchr.org/publication/ReevesS05},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {11},
  number = {12},
  pages = {2034-2045},
}

@article{ReevesS08a,
  title = {General Refinement, Part One: Interfaces, Determinism and Special Refinement},
  author = {Steve Reeves and David Streader},
  year = {2008},
  doi = {10.1016/j.entcs.2008.06.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.06.013},
  tags = {refinement},
  researchr = {https://researchr.org/publication/ReevesS08a},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {214},
  pages = {277-307},
}

@inproceedings{MalikSR04,
  title = {Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts},
  author = {Robi Malik and David Streader and Steve Reeves},
  year = {2004},
  url = {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 = {Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings},
  editor = {Farn Wang},
  volume = {3299},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23610-4},
}

@inproceedings{ReevesS03,
  title = {Comparison of Data and Process Refinement},
  author = {Steve Reeves and David Streader},
  year = {2003},
  url = {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 = {Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings},
  editor = {Jin Song Dong and Jim Woodcock},
  volume = {2885},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20461-X},
}

@article{BowenR09-0,
  title = {Refinement for user interface designs},
  author = {Judy Bowen and Steve Reeves},
  year = {2009},
  doi = {10.1007/s00165-008-0095-2},
  url = {http://dx.doi.org/10.1007/s00165-008-0095-2},
  tags = {refinement},
  researchr = {https://researchr.org/publication/BowenR09-0},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {21},
  number = {6},
  pages = {589-612},
}

@inproceedings{JohnsonR92,
  title = {Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)},
  author = {Robert Johnson and Steve Reeves},
  year = {1992},
  researchr = {https://researchr.org/publication/JohnsonR92},
  cites = {0},
  citedby = {0},
  pages = {37-39},
  booktitle = {TABLEAUX},
}

@article{HensonR00:0,
  title = {Investigating Z},
  author = {Martin C. Henson and Steve Reeves},
  year = {2000},
  tags = {C++},
  researchr = {https://researchr.org/publication/HensonR00%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {10},
  number = {1},
  pages = {43-73},
}

@inproceedings{Reeves96,
  title = {Specifying and Reasoning About CSCW},
  author = {Steve Reeves},
  year = {1996},
  researchr = {https://researchr.org/publication/Reeves96},
  cites = {0},
  citedby = {0},
  pages = {366-391},
  booktitle = {Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium},
  editor = {François Bodart and Jean Vanderdonckt},
  publisher = {Springer},
  isbn = {3-211-82900-8},
}

@inproceedings{MalikMSR07,
  title = {Modular Synthesis of Discrete Controllers},
  author = {Petra Malik and Robi Malik and David Streader and Steve Reeves},
  year = {2007},
  doi = {10.1109/ICECCS.2007.31},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.31},
  researchr = {https://researchr.org/publication/MalikMSR07},
  cites = {0},
  citedby = {0},
  pages = {25-34},
  booktitle = {12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2895-3},
}

@inproceedings{BowenR10,
  title = {Developing usability studies via formal models of UIs},
  author = {Judy Bowen and Steve Reeves},
  year = {2010},
  doi = {10.1145/1822018.1822044},
  url = {http://doi.acm.org/10.1145/1822018.1822044},
  researchr = {https://researchr.org/publication/BowenR10},
  cites = {0},
  citedby = {0},
  pages = {175-180},
  booktitle = {Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System , EICS 2010, Berlin, Germany, June 19-23, 2010},
  editor = {Noi Sukaviriya and Jean Vanderdonckt and Michael Harrison},
  publisher = {ACM},
  isbn = {978-1-4503-0083-4},
}

@article{BowenR08,
  title = {Refinement for User Interface Designs},
  author = {Judy Bowen and Steve Reeves},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.104},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.104},
  tags = {refinement},
  researchr = {https://researchr.org/publication/BowenR08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {208},
  pages = {5-22},
}

@article{BrodaDGJR95,
  title = {Editorial},
  author = {Krysia Broda and Marcello D Agostino and Rajeev Goré and Rob Johnson and Steve Reeves},
  year = {1995},
  doi = {10.1093/jigpal/3.6.826},
  url = {http://dx.doi.org/10.1093/jigpal/3.6.826},
  researchr = {https://researchr.org/publication/BrodaDGJR95},
  cites = {0},
  citedby = {0},
  journal = {Logic Journal of the IGPL},
  volume = {3},
  number = {6},
  pages = {826},
}

@inproceedings{GoldsonRR02,
  title = {µ-Chart-Based Specification and Refinement},
  author = {Doug Goldson and Greg Reeve and Steve Reeves},
  year = {2002},
  url = {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 = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings},
  editor = {Chris George and Huaikou Miao},
  volume = {2495},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00029-1},
}

@article{ReevesS08,
  title = {Generic Tools via General Refinement},
  author = {Steve Reeves and David Streader},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.093},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.093},
  tags = {refinement},
  researchr = {https://researchr.org/publication/ReevesS08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {207},
  pages = {187-202},
}

@inproceedings{DeutschHR03,
  title = {Operation Refinement and Monotonicity in the Schema Calculus},
  author = {Moshe Deutsch and Martin C. Henson and Steve Reeves},
  year = {2003},
  url = {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 = {ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings},
  editor = {Didier Bert and Jonathan P. Bowen and Steve King and Marina A. Waldén},
  volume = {2651},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40253-5},
}

@inproceedings{BowenR06,
  title = {Formal Refinement of Informal GUI Design Artefacts},
  author = {Judy Bowen and Steve Reeves},
  year = {2006},
  doi = {10.1109/ASWEC.2006.28},
  url = {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 = {17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2551-2},
}

@article{UttingR01,
  title = {Teaching formal methods lite via testing},
  author = {Mark Utting and Steve Reeves},
  year = {2001},
  tags = {testing, teaching},
  researchr = {https://researchr.org/publication/UttingR01},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {11},
  number = {3},
  pages = {181-195},
}

@article{BoitenDR09,
  title = {Preface},
  author = {Eerke Boiten and John Derrick and Steve Reeves},
  year = {2009},
  doi = {10.1016/j.entcs.2009.12.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.12.013},
  researchr = {https://researchr.org/publication/BoitenDR09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {259},
  pages = {1},
}

@inproceedings{PouyanR04,
  title = {Behavioral modeling for mobile agent systems using Petri nets},
  author = {Ali A. Pouyan and Steve Reeves},
  year = {2004},
  doi = {10.1109/ICSMC.2004.1401313},
  url = {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 = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004},
  publisher = {IEEE},
  isbn = {0-7803-8566-7},
}

@inproceedings{HensonR98,
  title = {A Logic for the Schema Calculus},
  author = {Martin C. Henson and Steve Reeves},
  year = {1998},
  tags = {XML, XML Schema, C++, logic},
  researchr = {https://researchr.org/publication/HensonR98},
  cites = {0},
  citedby = {0},
  pages = {172-191},
  booktitle = {ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey},
  volume = {1493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65070-9},
}

@article{ReevesS09,
  title = {Guarded Operations, Refinement and Simulation},
  author = {Steve Reeves and David Streader},
  year = {2009},
  doi = {10.1016/j.entcs.2009.12.024},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.12.024},
  tags = {refinement},
  researchr = {https://researchr.org/publication/ReevesS09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {259},
  pages = {177-191},
}

@inproceedings{BowenR07-0,
  title = {Using formal models to design user interfaces: a case study},
  author = {Judy Bowen and Steve Reeves},
  year = {2007},
  doi = {10.1145/1531294.1531316},
  url = {http://doi.acm.org/10.1145/1531294.1531316},
  tags = {case study, design},
  researchr = {https://researchr.org/publication/BowenR07-0},
  cites = {0},
  citedby = {0},
  pages = {159-166},
  booktitle = {Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 1, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007},
  editor = {Thomas C. Ormerod and Corina Sas},
  publisher = {BCS},
  isbn = {978-1-902505-94-7},
}

@article{BowenR07,
  title = {Formal Models for Informal GUI Designs},
  author = {Judy Bowen and Steve Reeves},
  year = {2007},
  doi = {10.1016/j.entcs.2007.01.061},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {183},
  pages = {57-72},
}

@article{HensonRB03,
  title = {Z Logic and its Consequences},
  author = {Martin C. Henson and Steve Reeves and Jonathan P. Bowen},
  year = {2003},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/HensonRB03},
  cites = {0},
  citedby = {0},
  journal = {Computers and Artificial Intelligence},
  volume = {22},
  number = {4},
  pages = {381-415},
}

@inproceedings{ReevesS04,
  title = {Atomic Components},
  author = {Steve Reeves and David Streader},
  year = {2004},
  url = {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 = {Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers},
  editor = {Zhiming Liu and Keijiro Araki},
  volume = {3407},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25304-1},
}

@article{ReevesS06,
  title = {Stepwise Refinement of Processes},
  author = {Steve Reeves and David Streader},
  year = {2006},
  doi = {10.1016/j.entcs.2006.05.028},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.05.028},
  tags = {refinement},
  researchr = {https://researchr.org/publication/ReevesS06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {160},
  pages = {275-289},
}

@inproceedings{ReevesS07,
  title = {Feature Refinement},
  author = {Steve Reeves and David Streader},
  year = {2007},
  doi = {10.1109/SEFM.2007.14},
  url = {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 = {Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2884-7},
}

@article{MalikSR06,
  title = {Conflicts and Fair Testing},
  author = {Robi Malik and David Streader and Steve Reeves},
  year = {2006},
  doi = {10.1142/S012905410600411X},
  url = {http://dx.doi.org/10.1142/S012905410600411X},
  tags = {testing},
  researchr = {https://researchr.org/publication/MalikSR06},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {17},
  number = {4},
  pages = {797-814},
}

@article{BowenR09-1,
  title = {UI-Design Driven Model-Based Testing},
  author = {Judy Bowen and Steve Reeves},
  year = {2009},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/314},
  tags = {rule-based, testing, design},
  researchr = {https://researchr.org/publication/BowenR09-1},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {22},
}

@inproceedings{GrovesNRRU00,
  title = {A Survey of Software Development Practices in the New Zealand Software Industry },
  author = {Lindsay Groves and Ray Nickson and Greg Reeve and Steve Reeves and Mark Utting},
  year = {2000},
  url = {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 = {12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0631-3},
}

@inproceedings{AndersonRR01,
  title = {Idioms for mu-Chart},
  author = {Grant Anderson and Greg Reeve and Steve Reeves},
  year = {2001},
  url = {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 = {13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1254-2},
}

@article{HensonR99,
  title = {Revising Z: Part I - Logic and Semantics},
  author = {Martin C. Henson and Steve Reeves},
  year = {1999},
  url = {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 = {Formal Asp. Comput.},
  volume = {11},
  number = {4},
  pages = {359-380},
}

@inproceedings{BowenR09,
  title = {Supporting Multi-path UI Development with Vertical Refinement},
  author = {Judy Bowen and Steve Reeves},
  year = {2009},
  doi = {10.1109/ASWEC.2009.24},
  url = {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 = {20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Golad Cost, Australia},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3599-9},
}

@article{BowenR08-0,
  title = {Formal models for user interface design artefacts},
  author = {Judy Bowen and Steve Reeves},
  year = {2008},
  doi = {10.1007/s11334-008-0049-0},
  url = {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},
}

@article{ReevesS08:0,
  title = {Data refinement and singleton failures refinement are not equivalent},
  author = {Steve Reeves and David Streader},
  year = {2008},
  doi = {10.1007/s00165-008-0076-5},
  url = {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 = {Formal Asp. Comput.},
  volume = {20},
  number = {3},
  pages = {295-301},
}

@article{HensonR03,
  title = {A Logic for Schema-Based Program Development},
  author = {Martin C. Henson and Steve Reeves},
  year = {2003},
  doi = {10.1007/s00165-003-0004-7},
  url = {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 = {Formal Asp. Comput.},
  volume = {15},
  number = {1},
  pages = {48-83},
}

@inproceedings{ReeveR00:0,
  title = {mu-Charts and Z: Hows, Whys, and Wherefores},
  author = {Greg Reeve and Steve Reeves},
  year = {2000},
  url = {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 = {Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  editor = {Wolfgang Grieskamp and Thomas Santen and Bill Stoddart},
  volume = {1945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41196-8},
}

@inproceedings{BowenR05,
  title = {Including Design Guidelines in the Formal Specification of Interfaces in Z},
  author = {Judy Bowen and Steve Reeves},
  year = {2005},
  doi = {10.1007/11415787_26},
  url = {http://dx.doi.org/10.1007/11415787_26},
  tags = {design},
  researchr = {https://researchr.org/publication/BowenR05},
  cites = {0},
  citedby = {0},
  pages = {454-471},
  booktitle = {ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings},
  editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
  volume = {3455},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25559-1},
}

@inproceedings{ReeveR06,
  title = {Logic and refinement for charts},
  author = {Greg Reeve and Steve Reeves},
  year = {2006},
  doi = {10.1145/1151699.1151701},
  url = {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 = {Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006},
  editor = {Vladimir Estivill-Castro and Gillian Dobbie},
  volume = {48},
  series = {CRPIT},
  publisher = {Australian Computer Society},
  isbn = {1-920682-30-9},
}

@inproceedings{DeutschHR02,
  title = {Results on Formal Stepwise Design in Z},
  author = {Moshe Deutsch and Martin C. Henson and Steve Reeves},
  year = {2002},
  url = {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 = {9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1850-8},
}

@article{HensonR99a,
  title = {Revising Z: Part II - Logical Development},
  author = {Martin C. Henson and Steve Reeves},
  year = {1999},
  url = {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 = {Formal Asp. Comput.},
  volume = {11},
  number = {4},
  pages = {381-401},
}

@article{ReevesS08b,
  title = {General Refinement, Part Two: Flexible Refinement},
  author = {Steve Reeves and David Streader},
  year = {2008},
  doi = {10.1016/j.entcs.2008.06.014},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.06.014},
  tags = {refinement},
  researchr = {https://researchr.org/publication/ReevesS08b},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {214},
  pages = {309-329},
}

@article{GoldsonRB93,
  title = {A Review of Several Programs for the Teaching of Logic},
  author = {Doug Goldson and Steve Reeves and Richard Bornat},
  year = {1993},
  tags = {logic programming, reviewing, teaching, logic},
  researchr = {https://researchr.org/publication/GoldsonRB93},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {36},
  number = {4},
  pages = {373-386},
}

@inproceedings{ReevesS09-0,
  title = {A Robust Semantics Hides Fewer Errors},
  author = {Steve Reeves and David Streader},
  year = {2009},
  doi = {10.1007/978-3-642-05089-3_32},
  url = {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 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  editor = {Ana Cavalcanti and Dennis Dams},
  volume = {5850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-05088-6},
}

@inproceedings{ReeveR00,
  title = {mu-Charts and Z: examples and extensions},
  author = {Greg Reeve and Steve Reeves},
  year = {2000},
  url = {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 = {7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0915-0},
}

@article{DeutschHR03:0,
  title = {An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I},
  author = {Moshe Deutsch and Martin C. Henson and Steve Reeves},
  year = {2003},
  url = {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 = {Logic Journal of the IGPL},
  volume = {11},
  number = {3},
  pages = {287-317},
}

@inproceedings{HensonR00,
  title = {Program Development and Specification Refinement in the Schema Calculus},
  author = {Martin C. Henson and Steve Reeves},
  year = {2000},
  url = {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 = {ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings},
  editor = {Jonathan P. Bowen and Steve Dunne and Andy Galloway and Steve King},
  volume = {1878},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67944-8},
}
@proceedings{asm-2010,
  title = {Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  year = {2010},
  doi = {10.1007/978-3-642-11811-1},
  url = {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 = {Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves},
  volume = {5977},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11810-4},
}