publications:
- title: "Consistency of Partial Process Specifications"
  author:
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480248.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SteenDBB98"
- title: "Viewpoint Consistency in Z and LOTOS: A Case Study"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  year: "1997"
  tags:
  - "case study"
  - "consistency"
  researchr: "https://researchr.org/publication/BoitenBDS97"
  cites: 0
  citedby: 0
  pages: "644-664"
  booktitle: "FM"
  kind: "inproceedings"
  key: "BoitenBDS97"
- title: "Preface"
  author:
  - name: "Bernhard K. Aichernig"
    link: "https://researchr.org/alias/bernhard-k.-aichernig"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Lindsay Groves"
    link: "https://researchr.org/alias/lindsay-groves"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.08.040"
  links:
    doi: "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"
  kind: "article"
  key: "AichernigBDG07"
- title: "Combining Component Specifications in Object-Z and CSP"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/2013002/20130111.htm"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB02"
- title: "From ABZ to Cryptography"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87603-8_40"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Boiten08"
- title: "Loose Specification and Refinement in Z"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720226.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Boiten02"
- title: "Fixed-Point Calculus"
  author:
  - name: "Chritiene Aarts"
    link: "https://researchr.org/alias/chritiene-aarts"
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Henk Doornbos"
    link: "https://researchr.org/alias/henk-doornbos"
  - name: "Netty van Gasteren"
    link: "https://researchr.org/alias/netty-van-gasteren"
  - name: "Rik van Geldrop"
    link: "https://researchr.org/alias/rik-van-geldrop"
  - name: "Paul F. Hoogendijk"
    link: "https://researchr.org/alias/paul-f.-hoogendijk"
  - name: "Ed Voermans"
    link: "https://researchr.org/alias/ed-voermans"
  - name: "Jaap van der Woude"
    link: "https://researchr.org/alias/jaap-van-der-woude"
  year: "1995"
  doi: "http://dx.doi.org/10.1016/0020-0190(94)00195-5"
  links:
    doi: "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"
  kind: "article"
  key: "Group95"
- title: "Non-atomic Refinement in Z"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091477.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DerrickB99:2"
- 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: "Graeme Smith"
    link: "https://researchr.org/alias/graeme-smith"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.02.012"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenDS08"
- title: "Editorial"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s00165-008-0100-9"
  links:
    doi: "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"
  kind: "article"
  key: "Boiten09"
- title: "Consistency and Refinement for Partial Specification in Z"
  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: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  year: "1996"
  tags:
  - "refinement"
  - "consistency"
  researchr: "https://researchr.org/publication/BoitenDBS96"
  cites: 0
  citedby: 0
  pages: "287-306"
  booktitle: "FM"
  kind: "inproceedings"
  key: "BoitenDBS96"
- title: "More Relational Concurrent Refinement: Traces and Partial Relations"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.012"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB08"
- title: "Foreword"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.01.009"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenM04"
- title: "Liberating Data Refinement"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  year: "2000"
  tags:
  - "refinement"
  - "data-flow"
  researchr: "https://researchr.org/publication/BoitenD00"
  cites: 0
  citedby: 0
  pages: "144-166"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "BoitenD00"
- title: " Concepts in Programming Languages  by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803004842"
  links:
    doi: "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"
  kind: "article"
  key: "Boiten03"
- title: "Strategies for Consistency Checking Based on Unification"
  author:
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "BowmanBDS99"
- title: "Preface"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.021"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB05"
- title: "Disjunction of LOTOS Specifications"
  author:
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1997"
  researchr: "https://researchr.org/publication/SteenBDB97"
  cites: 0
  citedby: 0
  pages: "177-192"
  booktitle: "forte"
  kind: "inproceedings"
  key: "SteenBDB97"
- title: "A Formal Framework for Viewpoint Consistency"
  author:
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "BowmanSBD02"
- title: "Interpreting ODP Viewpoint Specification: Observations from a Case Study"
  author:
  - name: "Chris J. Taylor"
    link: "https://researchr.org/alias/chris-j.-taylor"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  year: "2002"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/TaylorBD02%3A0"
  cites: 0
  citedby: 0
  pages: "61-76"
  booktitle: "fmoods"
  kind: "inproceedings"
  key: "TaylorBD02:0"
- title: "Calculating upward and downward simulations of state-based specifications"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0950-5849(99)00044-0"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB99:1"
- title: "Recent Advances in Refinement"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890033.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DerrickB03"
- title: "Guest Editorial Integrated Formal Methods"
  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: "Graeme Smith"
    link: "https://researchr.org/alias/graeme-smith"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00165-005-0078-5"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenDS05"
- 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: "Towards Correspondence Carrying Specifications"
  author:
  - name: "Marius C. Bujorianu"
    link: "https://researchr.org/alias/marius-c.-bujorianu"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=57"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BujorianuB04"
- title: "Handling Inconsistencies in Z Using Quasi-Classical Logic"
  author:
  - name: "Ralph Miarka"
    link: "https://researchr.org/alias/ralph-miarka"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720204.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MiarkaDB02"
- title: "Modelling Divergence in Relational Concurrent Refinement"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_13"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BoitenD09"
- title: "Parsing in ISBES"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1993"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/Boiten93"
  cites: 0
  citedby: 0
  pages: "423-433"
  booktitle: "ershov"
  kind: "inproceedings"
  key: "Boiten93"
- title: "Testing Refinements by Refining Tests"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1998"
  tags:
  - "refinement"
  - "testing"
  researchr: "https://researchr.org/publication/DerrickB98"
  cites: 0
  citedby: 0
  pages: "265-283"
  booktitle: "zum"
  kind: "inproceedings"
  key: "DerrickB98"
- title: "Testing Refinements of State-based Formal Specifications"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  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"
  kind: "article"
  key: "DerrickB99:0"
- title: "Constructive Consistency Checking for Partial Specification in Z"
  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: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "BoitenDBS99"
- title: "Relational Concurrent Refinement"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s00165-003-0007-4"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB03:0"
- title: "A Case Study in Partial Specification: Consistency and Refinement for Object-Z"
  author:
  - name: "Chris J. Taylor"
    link: "https://researchr.org/alias/chris-j.-taylor"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2000"
  doi: "http://computer.org/proceedings/icfem/0822/08220177abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TaylorDB00"
- title: "How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Helmuth Partsch"
    link: "https://researchr.org/alias/helmuth-partsch"
  - name: "Daniel Tuijnman"
    link: "https://researchr.org/alias/daniel-tuijnman"
  - name: "Norbert Völker"
    link: "https://researchr.org/alias/norbert-v%C3%B6lker"
  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"
  kind: "article"
  key: "BoitenPTV92"
- title: "Specifying and Refining Internal Operations in Z"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  year: "1998"
  researchr: "https://researchr.org/publication/DerrickBBS98"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "10"
  number: "2"
  pages: "125-159"
  kind: "article"
  key: "DerrickBBS98"
- title: "Guest Editorial Editorial for the FAC Special Issue based on derivative papers from  Refine  05 "
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Michael Butler"
    link: "https://researchr.org/alias/michael-butler"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-006-0009-0"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenB06"
- title: "Specifying Component and Context Specification Using Promotion"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1999"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/DerrickB99"
  cites: 0
  citedby: 0
  pages: "293-312"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "DerrickB99"
- title: "Editorial"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Michael Butler"
    link: "https://researchr.org/alias/michael-butler"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Graeme Smith"
    link: "https://researchr.org/alias/graeme-smith"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/s00165-009-0147-2"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenBDS10"
- title: "Relational Concurrent Refinement with Internal Operations"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.08.043"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB07"
- title: "Guards, Preconditions, and Refinement in Z"
  author:
  - name: "Ralph Miarka"
    link: "https://researchr.org/alias/ralph-miarka"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780286.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MiarkaBD00"
- title: "Viewpoint consistency in ODP"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Peter F. Linington"
    link: "https://researchr.org/alias/peter-f.-linington"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S1389-1286(00)00114-6"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenBDLS00"
- title: "Improving Recursive Functions by Inverting the Order of Evaluation"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "1992"
  researchr: "https://researchr.org/publication/Boiten92"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "18"
  number: "2"
  pages: "139-179"
  kind: "article"
  key: "Boiten92"
- title: "ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z"
  author:
  - name: "Chris J. Taylor"
    link: "https://researchr.org/alias/chris-j.-taylor"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "TaylorBD02"
- title: "Comparing LOTOS and Z Refinement Relations"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  year: "1996"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/DerrickBBS96"
  cites: 0
  citedby: 0
  pages: "501-516"
  booktitle: "forte"
  kind: "inproceedings"
  key: "DerrickBBS96"
- title: "Formal Program Development with Approximations"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11415787_22"
  links:
    doi: "http://dx.doi.org/10.1007/11415787_22"
  researchr: "https://researchr.org/publication/BoitenD05"
  cites: 0
  citedby: 0
  pages: "374-392"
  booktitle: "zum"
  kind: "inproceedings"
  key: "BoitenD05"
- title: "Reduction and Refinement"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Dan Grundy"
    link: "https://researchr.org/alias/dan-grundy"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.02.014"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenG08"
- title: "Relational Concurrent Refinement: Automata"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.015"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickB09-0"
- title: "Refinement of objects and operations in Object-Z"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  year: "2000"
  tags:
  - "meta-model"
  - "refinement"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DerrickB00"
  cites: 0
  citedby: 0
  pages: "257"
  booktitle: "fmoods"
  kind: "inproceedings"
  key: "DerrickB00"
- title: "Unifying concurrent and relational refinement"
  author:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#011"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenD02"
- title: "Weak Refinement in Z"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Howard Bowman"
    link: "https://researchr.org/alias/howard-bowman"
  - name: "Maarten Steen"
    link: "https://researchr.org/alias/maarten-steen"
  year: "1997"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/DerrickBBS97"
  cites: 0
  citedby: 0
  pages: "369-388"
  booktitle: "zum"
  kind: "inproceedings"
  key: "DerrickBBS97"
- title: "Preface"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Joakim von Wright"
    link: "https://researchr.org/alias/joakim-von-wright"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#001"
  links:
    doi: "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"
  kind: "article"
  key: "DerrickBWW02"
- title: "Relational concurrent refinement part II: Internal operations and outputs"
  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: "Gerhard Schellhorn"
    link: "https://researchr.org/alias/gerhard-schellhorn"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s00165-007-0066-z"
  links:
    doi: "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"
  kind: "article"
  key: "BoitenDS09"
- 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:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Graeme Smith"
    link: "https://researchr.org/alias/graeme-smith"
  volume: "2999"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21377-5"
  kind: "proceedings"
  key: "ifm:2004"
- 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:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "2386"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43857-2"
  kind: "proceedings"
  key: "mpc:2002"