@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 = {amast},
}

@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 = {FM},
}

@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 = {ENTCS},
  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 = {fac},
  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 = {asmta},
}

@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 = {zum},
}

@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 = {ipl},
  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},
}

@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 = {ENTCS},
  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 = {fac},
  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 = {FM},
}

@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 = {ENTCS},
  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 = {SCP},
  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 = {mpc},
}

@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 = {JFP},
  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 = {SCP},
  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 = {ENTCS},
  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 = {forte},
}

@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 = {fmsd},
  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 = {fmoods},
}

@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 = {INFSOF},
  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 = {asmta},
}

@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 = {fac},
  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 = {ENTCS},
  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 = {amast},
}

@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 = {zum},
}

@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 = {IFM},
}

@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 = {ershov},
}

@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},
}

@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 = {stvr},
  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 = {SCP},
  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 = {fac},
  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 = {cj},
  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 = {fac},
  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 = {fac},
  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 = {IFM},
}

@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 = {fac},
  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 = {ENTCS},
  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 = {zum},
}

@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 = {cn},
  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 = {SCP},
  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},
  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 = {forte},
}

@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 = {zum},
}

@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 = {ENTCS},
  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 = {ENTCS},
  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 = {fmoods},
}

@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 = {ENTCS},
  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},
}

@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 = {ENTCS},
  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 = {fac},
  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},
}