@inproceedings{SteenDBB98,
  title = {Consistency of Partial Process Specifications},
  author = {Maarten Steen and John Derrick and Eerke Boiten and Howard Bowman},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1548/15480248.htm},
  tags = {consistency},
  researchr = {https://researchr.org/publication/SteenDBB98},
  cites = {0},
  citedby = {0},
  pages = {248-262},
  booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  editor = {Armando Martin Haeberer},
  volume = {1548},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65462-3},
}

@inproceedings{BoitenBDS97,
  title = {Viewpoint Consistency in Z and LOTOS: A Case Study},
  author = {Eerke Boiten and Howard Bowman and John Derrick and Maarten Steen},
  year = {1997},
  tags = {case study, consistency},
  researchr = {https://researchr.org/publication/BoitenBDS97},
  cites = {0},
  citedby = {0},
  pages = {644-664},
  booktitle = {FME  97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings},
  editor = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas},
  volume = {1313},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63533-5},
}

@article{AichernigBDG07,
  title = {Preface},
  author = {Bernhard K. Aichernig and Eerke Boiten and John Derrick and Lindsay Groves},
  year = {2007},
  doi = {10.1016/j.entcs.2006.08.040},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.08.040},
  researchr = {https://researchr.org/publication/AichernigBDG07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {187},
  pages = {1},
}

@article{DerrickB02,
  title = {Combining Component Specifications in Object-Z and CSP},
  author = {John Derrick and Eerke Boiten},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00165/bibs/2013002/20130111.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DerrickB02},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {13},
  number = {2},
  pages = {111-127},
}

@inproceedings{Boiten08,
  title = {From ABZ to Cryptography},
  author = {Eerke Boiten},
  year = {2008},
  doi = {10.1007/978-3-540-87603-8_40},
  url = {http://dx.doi.org/10.1007/978-3-540-87603-8_40},
  researchr = {https://researchr.org/publication/Boiten08},
  cites = {0},
  citedby = {0},
  pages = {353},
  booktitle = {Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings},
  editor = {Egon Börger and Michael J. Butler and Jonathan P. Bowen and Paul Boca},
  volume = {5238},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87602-1},
}

@inproceedings{Boiten02,
  title = {Loose Specification and Refinement in Z},
  author = {Eerke Boiten},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2272/22720226.htm},
  tags = {refinement},
  researchr = {https://researchr.org/publication/Boiten02},
  cites = {0},
  citedby = {0},
  pages = {226-241},
  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},
  editor = {Didier Bert and Jonathan P. Bowen and Martin C. Henson and Ken Robinson},
  volume = {2272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43166-7},
}

@article{Group95,
  title = {Fixed-Point Calculus},
  author = {Chritiene Aarts and Roland Carl Backhouse and Eerke Boiten and Henk Doornbos and Netty van Gasteren and Rik van Geldrop and Paul F. Hoogendijk and Ed Voermans and Jaap van der Woude},
  year = {1995},
  doi = {10.1016/0020-0190(94)00195-5},
  url = {http://dx.doi.org/10.1016/0020-0190(94)00195-5},
  researchr = {https://researchr.org/publication/Group95},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {53},
  number = {3},
  pages = {131-136},
}

@inproceedings{DerrickB99:2,
  title = {Non-atomic Refinement in Z},
  author = {John Derrick and Eerke Boiten},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1709/17091477.htm},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickB99%3A2},
  cites = {0},
  citedby = {0},
  pages = {1477-1496},
  booktitle = {FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II},
  editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},
  volume = {1709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66588-9},
}

@article{BoitenDS08,
  title = {Preface},
  author = {Eerke Boiten and John Derrick and Graeme Smith},
  year = {2008},
  doi = {10.1016/j.entcs.2008.02.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.02.012},
  researchr = {https://researchr.org/publication/BoitenDS08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {201},
  pages = {1},
}

@article{Boiten09,
  title = {Editorial},
  author = {Eerke Boiten},
  year = {2009},
  doi = {10.1007/s00165-008-0100-9},
  url = {http://dx.doi.org/10.1007/s00165-008-0100-9},
  researchr = {https://researchr.org/publication/Boiten09},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {21},
  number = {1-2},
  pages = {1},
}

@inproceedings{BoitenDBS96,
  title = {Consistency and Refinement for Partial Specification in Z},
  author = {Eerke Boiten and John Derrick and Howard Bowman and Maarten Steen},
  year = {1996},
  tags = {refinement, consistency},
  researchr = {https://researchr.org/publication/BoitenDBS96},
  cites = {0},
  citedby = {0},
  pages = {287-306},
  booktitle = {FME  96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  editor = {Marie-Claude Gaudel and Jim Woodcock},
  volume = {1051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60973-3},
}

@article{DerrickB08,
  title = {More Relational Concurrent Refinement: Traces and Partial Relations},
  author = {John Derrick and Eerke Boiten},
  year = {2008},
  doi = {10.1016/j.entcs.2008.06.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.06.012},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickB08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {214},
  pages = {255-276},
}

@article{BoitenM04,
  title = {Foreword},
  author = {Eerke Boiten and Bernhard Möller},
  year = {2004},
  doi = {10.1016/j.scico.2004.01.009},
  url = {http://dx.doi.org/10.1016/j.scico.2004.01.009},
  researchr = {https://researchr.org/publication/BoitenM04},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {51},
  number = {1-2},
  pages = {1-2},
}

@inproceedings{BoitenD00,
  title = {Liberating Data Refinement},
  author = {Eerke Boiten and John Derrick},
  year = {2000},
  tags = {refinement, data-flow},
  researchr = {https://researchr.org/publication/BoitenD00},
  cites = {0},
  citedby = {0},
  pages = {144-166},
  booktitle = {Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  editor = {Roland Carl Backhouse and José Nuno Oliveira},
  volume = {1837},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67727-5},
}

@article{Boiten03,
  title = { Concepts in Programming Languages  by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5},
  author = {Eerke Boiten},
  year = {2003},
  doi = {10.1017/S0956796803004842},
  url = {http://dx.doi.org/10.1017/S0956796803004842},
  tags = {programming languages, C++, programming},
  researchr = {https://researchr.org/publication/Boiten03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {6},
  pages = {1087-1088},
}

@article{BowmanBDS99,
  title = {Strategies for Consistency Checking Based on Unification},
  author = {Howard Bowman and Eerke Boiten and John Derrick and Maarten Steen},
  year = {1999},
  tags = {rule-based, consistency},
  researchr = {https://researchr.org/publication/BowmanBDS99},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {33},
  number = {3},
  pages = {261-298},
}

@article{DerrickB05,
  title = {Preface},
  author = {John Derrick and Eerke Boiten},
  year = {2005},
  doi = {10.1016/j.entcs.2005.04.021},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.04.021},
  researchr = {https://researchr.org/publication/DerrickB05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {137},
  number = {2},
  pages = {1-3},
}

@inproceedings{SteenBDB97,
  title = {Disjunction of LOTOS Specifications},
  author = {Maarten Steen and Howard Bowman and John Derrick and Eerke Boiten},
  year = {1997},
  researchr = {https://researchr.org/publication/SteenBDB97},
  cites = {0},
  citedby = {0},
  pages = {177-192},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII 97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Pr},
  editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino},
  volume = {107},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-82060-9},
}

@article{BowmanSBD02,
  title = {A Formal Framework for Viewpoint Consistency},
  author = {Howard Bowman and Maarten Steen and Eerke Boiten and John Derrick},
  year = {2002},
  tags = {consistency},
  researchr = {https://researchr.org/publication/BowmanSBD02},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {21},
  number = {2},
  pages = {111-166},
}

@inproceedings{TaylorBD02:0,
  title = {Interpreting ODP Viewpoint Specification: Observations from a Case Study},
  author = {Chris J. Taylor and Eerke Boiten and John Derrick},
  year = {2002},
  tags = {case study},
  researchr = {https://researchr.org/publication/TaylorBD02%3A0},
  cites = {0},
  citedby = {0},
  pages = {61-76},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands},
  editor = {Bart Jacobs and Arend Rensink},
  volume = {209},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7683-8},
}

@article{DerrickB99:1,
  title = {Calculating upward and downward simulations of state-based specifications},
  author = {John Derrick and Eerke Boiten},
  year = {1999},
  doi = {10.1016/S0950-5849(99)00044-0},
  url = {http://dx.doi.org/10.1016/S0950-5849(99)00044-0},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/DerrickB99%3A1},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {41},
  number = {13},
  pages = {917-923},
}

@inproceedings{DerrickB03,
  title = {Recent Advances in Refinement},
  author = {John Derrick and Eerke Boiten},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890033.htm},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickB03},
  cites = {0},
  citedby = {0},
  pages = {33-56},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  editor = {Egon Börger and Angelo Gargantini and Elvinia Riccobene},
  volume = {2589},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00624-9},
}

@article{BoitenDS05,
  title = {Guest Editorial Integrated Formal Methods},
  author = {Eerke Boiten and John Derrick and Graeme Smith},
  year = {2005},
  doi = {10.1007/s00165-005-0078-5},
  url = {http://dx.doi.org/10.1007/s00165-005-0078-5},
  researchr = {https://researchr.org/publication/BoitenDS05},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {17},
  number = {4},
  pages = {389},
}

@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{BujorianuB04,
  title = {Towards Correspondence Carrying Specifications},
  author = {Marius C. Bujorianu and Eerke Boiten},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=57},
  tags = {C++},
  researchr = {https://researchr.org/publication/BujorianuB04},
  cites = {0},
  citedby = {0},
  pages = {57-71},
  booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings},
  editor = {Charles Rattray and Savi Maharaj and Carron Shankland},
  volume = {3116},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22381-9},
}

@inproceedings{MiarkaDB02,
  title = {Handling Inconsistencies in Z Using Quasi-Classical Logic},
  author = {Ralph Miarka and John Derrick and Eerke Boiten},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2272/22720204.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/MiarkaDB02},
  cites = {0},
  citedby = {0},
  pages = {204-225},
  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},
  editor = {Didier Bert and Jonathan P. Bowen and Martin C. Henson and Ken Robinson},
  volume = {2272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43166-7},
}

@inproceedings{BoitenD09,
  title = {Modelling Divergence in Relational Concurrent Refinement},
  author = {Eerke Boiten and John Derrick},
  year = {2009},
  doi = {10.1007/978-3-642-00255-7_13},
  url = {http://dx.doi.org/10.1007/978-3-642-00255-7_13},
  tags = {meta-model, refinement, Meta-Environment},
  researchr = {https://researchr.org/publication/BoitenD09},
  cites = {0},
  citedby = {0},
  pages = {183-199},
  booktitle = {Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings},
  editor = {Michael Leuschel and Heike Wehrheim},
  volume = {5423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00254-0},
}

@inproceedings{Boiten93,
  title = {Parsing in ISBES},
  author = {Eerke Boiten},
  year = {1993},
  tags = {parsing},
  researchr = {https://researchr.org/publication/Boiten93},
  cites = {0},
  citedby = {0},
  pages = {423-433},
  booktitle = {Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings},
  editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
  volume = {735},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57316-X},
}

@inproceedings{DerrickB98,
  title = {Testing Refinements by Refining Tests},
  author = {John Derrick and Eerke Boiten},
  year = {1998},
  tags = {refinement, testing},
  researchr = {https://researchr.org/publication/DerrickB98},
  cites = {0},
  citedby = {0},
  pages = {265-283},
  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{DerrickB99:0,
  title = {Testing Refinements of State-based Formal Specifications},
  author = {John Derrick and Eerke Boiten},
  year = {1999},
  tags = {rule-based, refinement, testing},
  researchr = {https://researchr.org/publication/DerrickB99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {9},
  number = {1},
  pages = {27-50},
}

@article{BoitenDBS99,
  title = {Constructive Consistency Checking for Partial Specification in Z},
  author = {Eerke Boiten and John Derrick and Howard Bowman and Maarten Steen},
  year = {1999},
  tags = {consistency},
  researchr = {https://researchr.org/publication/BoitenDBS99},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {35},
  number = {1},
  pages = {29-75},
}

@article{DerrickB03:0,
  title = {Relational Concurrent Refinement},
  author = {John Derrick and Eerke Boiten},
  year = {2003},
  doi = {10.1007/s00165-003-0007-4},
  url = {http://dx.doi.org/10.1007/s00165-003-0007-4},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickB03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {15},
  number = {2-3},
  pages = {182-214},
}

@inproceedings{TaylorDB00,
  title = {A Case Study in Partial Specification: Consistency and Refinement for Object-Z},
  author = {Chris J. Taylor and John Derrick and Eerke Boiten},
  year = {2000},
  url = {http://computer.org/proceedings/icfem/0822/08220177abs.htm},
  tags = {case study, refinement, consistency},
  researchr = {https://researchr.org/publication/TaylorDB00},
  cites = {0},
  citedby = {0},
  pages = {177},
  booktitle = {ICFEM},
}

@article{BoitenPTV92,
  title = {How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations},
  author = {Eerke Boiten and Helmuth Partsch and Daniel Tuijnman and Norbert Völker},
  year = {1992},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/BoitenPTV92},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {35},
  number = {6},
  pages = {547-554},
}

@article{DerrickBBS98,
  title = {Specifying and Refining Internal Operations in Z},
  author = {John Derrick and Eerke Boiten and Howard Bowman and Maarten Steen},
  year = {1998},
  researchr = {https://researchr.org/publication/DerrickBBS98},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {10},
  number = {2},
  pages = {125-159},
}

@article{BoitenB06,
  title = {Guest Editorial Editorial for the FAC Special Issue based on derivative papers from  Refine  05 },
  author = {Eerke Boiten and Michael Butler},
  year = {2006},
  doi = {10.1007/s00165-006-0009-0},
  url = {http://dx.doi.org/10.1007/s00165-006-0009-0},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BoitenB06},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {18},
  number = {3},
  pages = {263},
}

@inproceedings{DerrickB99,
  title = {Specifying Component and Context Specification Using Promotion},
  author = {John Derrick and Eerke Boiten},
  year = {1999},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/DerrickB99},
  cites = {0},
  citedby = {0},
  pages = {293-312},
  booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999},
  editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi},
  publisher = {Springer},
  isbn = {1-85233-107-0},
}

@article{BoitenBDS10,
  title = {Editorial},
  author = {Eerke Boiten and Michael Butler and John Derrick and Graeme Smith},
  year = {2010},
  doi = {10.1007/s00165-009-0147-2},
  url = {http://dx.doi.org/10.1007/s00165-009-0147-2},
  researchr = {https://researchr.org/publication/BoitenBDS10},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {22},
  number = {1},
  pages = {1},
}

@article{DerrickB07,
  title = {Relational Concurrent Refinement with Internal Operations},
  author = {John Derrick and Eerke Boiten},
  year = {2007},
  doi = {10.1016/j.entcs.2006.08.043},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.08.043},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickB07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {187},
  pages = {35-53},
}

@inproceedings{MiarkaBD00,
  title = {Guards, Preconditions, and Refinement in Z},
  author = {Ralph Miarka and Eerke Boiten and John Derrick},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1878/18780286.htm},
  tags = {refinement},
  researchr = {https://researchr.org/publication/MiarkaBD00},
  cites = {0},
  citedby = {0},
  pages = {286-303},
  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},
}

@article{BoitenBDLS00,
  title = {Viewpoint consistency in ODP},
  author = {Eerke Boiten and Howard Bowman and John Derrick and Peter F. Linington and Maarten Steen},
  year = {2000},
  doi = {10.1016/S1389-1286(00)00114-6},
  url = {http://dx.doi.org/10.1016/S1389-1286(00)00114-6},
  tags = {consistency},
  researchr = {https://researchr.org/publication/BoitenBDLS00},
  cites = {0},
  citedby = {0},
  journal = {Computer Networks},
  volume = {34},
  number = {3},
  pages = {503-537},
}

@article{Boiten92,
  title = {Improving Recursive Functions by Inverting the Order of Evaluation},
  author = {Eerke Boiten},
  year = {1992},
  researchr = {https://researchr.org/publication/Boiten92},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {18},
  number = {2},
  pages = {139-179},
}

@article{TaylorBD02,
  title = {ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z},
  author = {Chris J. Taylor and Eerke Boiten and John Derrick},
  year = {2002},
  tags = {translation},
  researchr = {https://researchr.org/publication/TaylorBD02},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {149},
  number = {2},
  pages = {57-63},
}

@inproceedings{DerrickBBS96,
  title = {Comparing LOTOS and Z Refinement Relations},
  author = {John Derrick and Howard Bowman and Eerke Boiten and Maarten Steen},
  year = {1996},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickBBS96},
  cites = {0},
  citedby = {0},
  pages = {501-516},
  booktitle = {Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996},
  editor = {Reinhard Gotzhein and Jan Bredereke},
  volume = {69},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-79490-X},
}

@inproceedings{BoitenD05,
  title = {Formal Program Development with Approximations},
  author = {Eerke Boiten and John Derrick},
  year = {2005},
  doi = {10.1007/11415787_22},
  url = {http://dx.doi.org/10.1007/11415787_22},
  researchr = {https://researchr.org/publication/BoitenD05},
  cites = {0},
  citedby = {0},
  pages = {374-392},
  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},
}

@article{BoitenG08,
  title = {Reduction and Refinement},
  author = {Eerke Boiten and Dan Grundy},
  year = {2008},
  doi = {10.1016/j.entcs.2008.02.014},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.02.014},
  tags = {refinement},
  researchr = {https://researchr.org/publication/BoitenG08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {201},
  pages = {31-44},
}

@article{DerrickB09-0,
  title = {Relational Concurrent Refinement: Automata},
  author = {John Derrick and Eerke Boiten},
  year = {2009},
  doi = {10.1016/j.entcs.2009.12.015},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.12.015},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickB09-0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {259},
  pages = {21-34},
}

@inproceedings{DerrickB00,
  title = {Refinement of objects and operations in Object-Z},
  author = {John Derrick and Eerke Boiten},
  year = {2000},
  tags = {meta-model, refinement, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DerrickB00},
  cites = {0},
  citedby = {0},
  pages = {257},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA},
  editor = {Scott F. Smith and Carolyn L. Talcott},
  volume = {177},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7923-3},
}

@article{BoitenD02,
  title = {Unifying concurrent and relational refinement},
  author = {Eerke Boiten and John Derrick},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#011},
  tags = {refinement},
  researchr = {https://researchr.org/publication/BoitenD02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {70},
  number = {3},
  pages = {94-131},
}

@inproceedings{DerrickBBS97,
  title = {Weak Refinement in Z},
  author = {John Derrick and Eerke Boiten and Howard Bowman and Maarten Steen},
  year = {1997},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DerrickBBS97},
  cites = {0},
  citedby = {0},
  pages = {369-388},
  booktitle = {ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till},
  volume = {1212},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62717-0},
}

@article{DerrickBWW02,
  title = {Preface},
  author = {John Derrick and Eerke Boiten and Jim Woodcock and Joakim von Wright},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#001},
  researchr = {https://researchr.org/publication/DerrickBWW02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {70},
  number = {3},
  pages = {1-2},
}

@article{BoitenDS09,
  title = {Relational concurrent refinement part II: Internal operations and outputs},
  author = {Eerke Boiten and John Derrick and Gerhard Schellhorn},
  year = {2009},
  doi = {10.1007/s00165-007-0066-z},
  url = {http://dx.doi.org/10.1007/s00165-007-0066-z},
  tags = {refinement},
  researchr = {https://researchr.org/publication/BoitenDS09},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {21},
  number = {1-2},
  pages = {65-102},
}
@proceedings{ifm:2004,
  title = {Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings},
  year = {2004},
  researchr = {https://researchr.org/publication/ifm%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings},
  conference = {IFM},
  editor = {Eerke Boiten and John Derrick and Graeme Smith},
  volume = {2999},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21377-5},
}

@proceedings{mpc:2002,
  title = {Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  year = {2002},
  researchr = {https://researchr.org/publication/mpc%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  conference = {mpc},
  editor = {Eerke Boiten and Bernhard Möller},
  volume = {2386},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43857-2},
}