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: "Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings"
  editor:
  - name: "Armando Martin Haeberer"
    link: "https://researchr.org/alias/armando-martin-haeberer"
  volume: "1548"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65462-3"
  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: "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:
  - name: "John S. Fitzgerald"
    link: "https://researchr.org/alias/john-s.-fitzgerald"
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "Peter Lucas"
    link: "https://researchr.org/alias/peter-lucas"
  volume: "1313"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63533-5"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Formal Asp. Comput."
  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: "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings"
  editor:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Paul Boca"
    link: "https://researchr.org/alias/paul-boca"
  volume: "5238"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87602-1"
  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: "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:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Ken Robinson"
    link: "https://researchr.org/alias/ken-robinson"
  volume: "2272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43166-7"
  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: "Inf. Process. Lett."
  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 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II"
  editor:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  volume: "1709"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66588-9"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Formal Asp. Comput."
  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: "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:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "1051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60973-3"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Science of Computer Programming"
  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: "Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "José Nuno Oliveira"
    link: "https://researchr.org/alias/jos%C3%A9-nuno-oliveira"
  volume: "1837"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67727-5"
  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: "Journal of Functional Programming"
  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: "Science of Computer Programming"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "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:
  - name: "Atsushi Togashi"
    link: "https://researchr.org/alias/atsushi-togashi"
  - name: "Tadanori Mizuno"
    link: "https://researchr.org/alias/tadanori-mizuno"
  - name: "Norio Shiratori"
    link: "https://researchr.org/alias/norio-shiratori"
  - name: "Teruo Higashino"
    link: "https://researchr.org/alias/teruo-higashino"
  volume: "107"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-82060-9"
  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: "Formal Methods in System Design"
  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: "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:
  - name: "Bart Jacobs"
    link: "https://researchr.org/alias/bart-jacobs"
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  volume: "209"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7683-8"
  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: "Information \\& Software Technology"
  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: "Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings"
  editor:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Angelo Gargantini"
    link: "https://researchr.org/alias/angelo-gargantini"
  - name: "Elvinia Riccobene"
    link: "https://researchr.org/alias/elvinia-riccobene"
  volume: "2589"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00624-9"
  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: "Formal Asp. Comput."
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings"
  editor:
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Savi Maharaj"
    link: "https://researchr.org/alias/savi-maharaj"
  - name: "Carron Shankland"
    link: "https://researchr.org/alias/carron-shankland"
  volume: "3116"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22381-9"
  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: "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:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Ken Robinson"
    link: "https://researchr.org/alias/ken-robinson"
  volume: "2272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43166-7"
  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: "Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings"
  editor:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Heike Wehrheim"
    link: "https://researchr.org/alias/heike-wehrheim"
  volume: "5423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00254-0"
  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: "Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Igor V. Pottosin"
    link: "https://researchr.org/alias/igor-v.-pottosin"
  volume: "735"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57316-X"
  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  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Andreas Fett"
    link: "https://researchr.org/alias/andreas-fett"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65070-9"
  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: "Softw. Test., Verif. Reliab."
  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: "Science of Computer Programming"
  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: "Formal Asp. Comput."
  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: "Comput. J."
  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: "Formal Asp. Comput."
  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: "Formal Asp. Comput."
  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: "Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999"
  editor:
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  - name: "Andy Galloway"
    link: "https://researchr.org/alias/andy-galloway"
  - name: "Kenji Taguchi"
    link: "https://researchr.org/alias/kenji-taguchi"
  publisher: "Springer"
  isbn: "1-85233-107-0"
  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: "Formal Asp. Comput."
  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: "Electronic Notes in Theoretical Computer Science"
  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: "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:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve Dunne"
    link: "https://researchr.org/alias/steve-dunne"
  - name: "Andy Galloway"
    link: "https://researchr.org/alias/andy-galloway"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  volume: "1878"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67944-8"
  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: "Computer Networks"
  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: "Science of Computer Programming"
  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 Proceedings - Software"
  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: "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:
  - name: "Reinhard Gotzhein"
    link: "https://researchr.org/alias/reinhard-gotzhein"
  - name: "Jan Bredereke"
    link: "https://researchr.org/alias/jan-bredereke"
  volume: "69"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-79490-X"
  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: "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:
  - name: "Helen Treharne"
    link: "https://researchr.org/alias/helen-treharne"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  - name: "Steve A. Schneider"
    link: "https://researchr.org/alias/steve-a.-schneider"
  volume: "3455"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25559-1"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "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:
  - name: "Scott F. Smith"
    link: "https://researchr.org/alias/scott-f.-smith"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "177"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7923-3"
  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: "Electronic Notes in Theoretical Computer Science"
  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  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "David Till"
    link: "https://researchr.org/alias/david-till"
  volume: "1212"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62717-0"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Formal Asp. Comput."
  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"