@inproceedings{VinhB07,
  title = {A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2007},
  doi = {10.1109/TASE.2007.2},
  url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.2},
  tags = {C++, systematic-approach},
  researchr = {https://researchr.org/publication/VinhB07},
  cites = {0},
  citedby = {0},
  pages = {369-378},
  booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China},
  publisher = {IEEE Computer Society},
}

@inproceedings{VinhB05:0,
  title = {A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2005},
  doi = {10.1109/SEW.2005.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2005.14},
  tags = {C++},
  researchr = {https://researchr.org/publication/VinhB05%3A0},
  cites = {0},
  citedby = {0},
  pages = {245-252},
  booktitle = {29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2306-4},
}

@inproceedings{Bowen00,
  title = {Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language},
  author = {Jonathan P. Bowen},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1945/19450277.htm},
  tags = {programming languages, semantics, logic programming, programming, operational semantics, logic},
  researchr = {https://researchr.org/publication/Bowen00},
  cites = {0},
  citedby = {0},
  pages = {277-296},
  booktitle = {Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  editor = {Wolfgang Grieskamp and Thomas Santen and Bill Stoddart},
  volume = {1945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41196-8},
}

@article{Bowen92:1,
  title = {X: Why Z?},
  author = {Jonathan P. Bowen},
  year = {1992},
  url = {http://www.eg.org/EG/CGF/Volume11/Issue4/v11i4pp221-234_abstract.html},
  researchr = {https://researchr.org/publication/Bowen92%3A1},
  cites = {0},
  citedby = {0},
  journal = {Comput. Graph. Forum},
  volume = {11},
  number = {4},
  pages = {221-234},
}

@inproceedings{VilkomirB01,
  title = {Formalization of Software Testing Criteria using the Z Notation},
  author = {Sergiy A. Vilkomir and Jonathan P. Bowen},
  year = {2001},
  doi = {10.1109/CMPSAC.2001.960638},
  url = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960638},
  tags = {testing},
  researchr = {https://researchr.org/publication/VilkomirB01},
  cites = {0},
  citedby = {0},
  pages = {351-356},
  booktitle = {25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1372-7},
}

@inproceedings{ZhuHLB07,
  title = {Algebraic Approach to Linking the Semantics of Web Services},
  author = {Huibiao Zhu and Jifeng He and Jing Li and Jonathan P. Bowen},
  year = {2007},
  doi = {10.1109/SEFM.2007.4},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.4},
  tags = {semantics, web service, web services,  algebra, systematic-approach},
  researchr = {https://researchr.org/publication/ZhuHLB07},
  cites = {0},
  citedby = {0},
  pages = {315-328},
  booktitle = {Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2884-7},
}

@article{VinhB05:1,
  title = {Continuity aspects of embedded reconfigurable computing},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2005},
  doi = {10.1007/s11334-005-0003-3},
  url = {http://dx.doi.org/10.1007/s11334-005-0003-3},
  tags = {C++},
  researchr = {https://researchr.org/publication/VinhB05%3A1},
  cites = {0},
  citedby = {0},
  journal = {ISSE},
  volume = {1},
  number = {1},
  pages = {41-53},
}

@inproceedings{HuibiaoBH02,
  title = {Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics},
  author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2495/24950600.htm},
  tags = {semantics, rule-based, completeness, denotational semantics, redundancy, operational semantics},
  researchr = {https://researchr.org/publication/HuibiaoBH02},
  cites = {0},
  citedby = {0},
  pages = {600-612},
  booktitle = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings},
  editor = {Chris George and Huaikou Miao},
  volume = {2495},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00029-1},
}

@inproceedings{Bowen03,
  title = {Disabled Access for Museum Websites},
  author = {Jonathan P. Bowen},
  year = {2003},
  url = {http://www2003.org/cdrom/papers/poster/p335/p335-bowen.html},
  researchr = {https://researchr.org/publication/Bowen03},
  cites = {0},
  citedby = {0},
  booktitle = {WWW},
}

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

@inproceedings{ZhuBH01,
  title = {Deriving Operational Semantics from Denotational Semantics for Verilog},
  author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080177abs.htm},
  tags = {semantics, denotational semantics, operational semantics},
  researchr = {https://researchr.org/publication/ZhuBH01},
  cites = {0},
  citedby = {0},
  pages = {177},
  booktitle = {8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1408-1},
}

@inproceedings{KapoorB03,
  title = {Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria},
  author = {Kalpesh Kapoor and Jonathan P. Bowen},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020185abs.htm},
  tags = {testing},
  researchr = {https://researchr.org/publication/KapoorB03},
  cites = {0},
  citedby = {0},
  pages = {185-194},
  booktitle = {2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September - 1 October 2003. Rome, Italy},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2002-2},
}

@article{BowenJ01,
  title = {An Approach to the Specification and Verification of a Hardware Compilation Scheme},
  author = {Jonathan P. Bowen and Jifeng He},
  year = {2001},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/BowenJ01},
  cites = {0},
  citedby = {0},
  journal = {The Journal of Supercomputing},
  volume = {19},
  number = {1},
  pages = {23-39},
}

@article{BowenH95:0,
  title = {Seven More Myths of Formal Methods},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {1995},
  url = {http://www.computer.org:80/software/so1995/s4034abs.htm},
  researchr = {https://researchr.org/publication/BowenH95%3A0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {12},
  number = {4},
  pages = {34-41},
}

@inproceedings{HuibiaoBJ01,
  title = {From Operational Semantics to Denotational Semantics for Verilog},
  author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2144/21440449.htm},
  tags = {semantics, denotational semantics, operational semantics},
  researchr = {https://researchr.org/publication/HuibiaoBJ01},
  cites = {0},
  citedby = {0},
  pages = {449-466},
  booktitle = {Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings},
  editor = {Tiziana Margaria and Thomas F. Melham},
  volume = {2144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42541-1},
}

@inproceedings{JifengPB93,
  title = {Towards a Provably Correct Hardware Implementation of Occam},
  author = {Jifeng He and Ian Page and Jonathan P. Bowen},
  year = {1993},
  tags = {Occam},
  researchr = {https://researchr.org/publication/JifengPB93},
  cites = {0},
  citedby = {0},
  pages = {214-225},
  booktitle = {Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME  93, Arles, France, May 24-26, 1993, Proceedings},
  editor = {George J. Milne and Laurence Pierre},
  volume = {683},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56778-X},
}

@inproceedings{Bowen90a,
  title = {Z FORUM Electronic Mailing List},
  author = {Jonathan P. Bowen},
  year = {1990},
  researchr = {https://researchr.org/publication/Bowen90a},
  cites = {0},
  citedby = {0},
  pages = {378},
  booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990},
  editor = {J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19672-2},
}

@inproceedings{ZhuHB07,
  title = {Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability},
  author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen},
  year = {2007},
  doi = {10.1109/SEW.2007.90},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.90},
  tags = {semantics,  algebra, operational semantics, systematic-approach},
  researchr = {https://researchr.org/publication/ZhuHB07},
  cites = {0},
  citedby = {0},
  pages = {131-143},
  booktitle = {31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA},
  publisher = {IEEE Computer Society},
}

@article{KapoorB04,
  title = {Experimental evaluation of the tolerance for control-flow test criteria},
  author = {Kalpesh Kapoor and Jonathan P. Bowen},
  year = {2004},
  doi = {10.1002/stvr.303},
  url = {http://dx.doi.org/10.1002/stvr.303},
  tags = {testing, data-flow},
  researchr = {https://researchr.org/publication/KapoorB04},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {14},
  number = {3},
  pages = {167-187},
}

@article{KapoorB05,
  title = {A formal analysis of MCDC and RCDC test criteria},
  author = {Kalpesh Kapoor and Jonathan P. Bowen},
  year = {2005},
  doi = {10.1002/stvr.306},
  url = {http://dx.doi.org/10.1002/stvr.306},
  tags = {testing, analysis},
  researchr = {https://researchr.org/publication/KapoorB05},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {15},
  number = {1},
  pages = {21-40},
}

@inproceedings{Bowen90b,
  title = {PRG Archive Server},
  author = {Jonathan P. Bowen},
  year = {1990},
  researchr = {https://researchr.org/publication/Bowen90b},
  cites = {0},
  citedby = {0},
  pages = {379},
  booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990},
  editor = {J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19672-2},
}

@inproceedings{Bowen98a,
  title = {Comp.specification.z and Z FORUM Frequently Asked Questions},
  author = {Jonathan P. Bowen},
  year = {1998},
  researchr = {https://researchr.org/publication/Bowen98a},
  cites = {0},
  citedby = {0},
  pages = {407-415},
  booktitle = {ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey},
  volume = {1493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65070-9},
}

@inproceedings{BowenC98,
  title = {Z on the Web Using Java},
  author = {Jonathan P. Bowen and David Chippington},
  year = {1998},
  tags = {Java},
  researchr = {https://researchr.org/publication/BowenC98},
  cites = {0},
  citedby = {0},
  pages = {66-80},
  booktitle = {ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey},
  volume = {1493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65070-9},
}

@inproceedings{Bowen97a,
  title = {Comp.specification.z and Z FORUM Frequently Asked Questions},
  author = {Jonathan P. Bowen},
  year = {1997},
  researchr = {https://researchr.org/publication/Bowen97a},
  cites = {0},
  citedby = {0},
  pages = {425-433},
  booktitle = {ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till},
  volume = {1212},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62717-0},
}

@article{VilkomirBG06,
  title = {Formalization and assessment of regulatory requirements for safety-critical software},
  author = {Sergiy A. Vilkomir and Jonathan P. Bowen and Aditya K. Ghose},
  year = {2006},
  doi = {10.1007/s11334-006-0006-8},
  url = {http://dx.doi.org/10.1007/s11334-006-0006-8},
  researchr = {https://researchr.org/publication/VilkomirBG06},
  cites = {0},
  citedby = {0},
  journal = {ISSE},
  volume = {2},
  number = {3-4},
  pages = {165-178},
}

@inproceedings{Bowen91,
  title = {Select Z Bibliography and Frequently Asked Questions},
  author = {Jonathan P. Bowen},
  year = {1991},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen91},
  cites = {0},
  citedby = {0},
  pages = {367-401},
  booktitle = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  editor = {J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19780-X},
}

@inproceedings{Bowen94a,
  title = {Comp.specification.z and Z FORUM Frequently Asked Questions},
  author = {Jonathan P. Bowen},
  year = {1994},
  researchr = {https://researchr.org/publication/Bowen94a},
  cites = {0},
  citedby = {0},
  pages = {397-403},
  booktitle = {Z User Workshop},
}

@inproceedings{ZhuHB06,
  title = {From Algebraic Semantics to Denotational Semantics for Verilog},
  author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen},
  year = {2006},
  doi = {10.1109/ICECCS.2006.57},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57},
  tags = {semantics, denotational semantics,  algebra},
  researchr = {https://researchr.org/publication/ZhuHB06},
  cites = {0},
  citedby = {0},
  pages = {139-151},
  booktitle = {11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2530-X},
}

@inproceedings{Bowen92,
  title = {Select Z Bibliography},
  author = {Jonathan P. Bowen},
  year = {1992},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen92},
  cites = {0},
  citedby = {0},
  pages = {309-341},
  booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  editor = {Jonathan P. Bowen and J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19818-0},
}

@article{BowenH95,
  title = {Ten Commandments of Formal Methods},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {1995},
  researchr = {https://researchr.org/publication/BowenH95},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {28},
  number = {4},
  pages = {56-63},
}

@article{HieronsBBCDDGHKKLSVWZ09,
  title = {Using formal specifications to support testing},
  author = {Robert M. Hierons and Kirill Bogdanov and Jonathan P. Bowen and Rance Cleaveland and John Derrick and Jeremy Dick and Marian Gheorghe and Mark Harman and Kalpesh Kapoor and Paul Krause and Gerald Lüttgen and Anthony J. H. Simons and Sergiy A. Vilkomir and Martin R. Woodward and Hussein Zedan},
  year = {2009},
  doi = {10.1145/1459352.1459354},
  url = {http://doi.acm.org/10.1145/1459352.1459354},
  tags = {testing},
  researchr = {https://researchr.org/publication/HieronsBBCDDGHKKLSVWZ09},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {41},
  number = {2},
}

@inproceedings{Bowen91:0,
  title = {From Programs to Object Code using Logic and Logic Programming},
  author = {Jonathan P. Bowen},
  year = {1991},
  tags = {object-oriented programming, logic programming, programming, subject-oriented programming, logic, feature-oriented programming},
  researchr = {https://researchr.org/publication/Bowen91%3A0},
  cites = {0},
  citedby = {0},
  pages = {173-192},
  booktitle = {Code Generation},
}

@article{VinhB04:0,
  title = {On the Visual Representation of Configuration in Reconfigurable Computing},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2004},
  doi = {10.1016/j.entcs.2004.02.052},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.02.052},
  tags = {C++},
  researchr = {https://researchr.org/publication/VinhB04%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {109},
  pages = {3-15},
}

@inproceedings{Bowen90,
  title = {Selected Z Bibliography},
  author = {Jonathan P. Bowen},
  year = {1990},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen90},
  cites = {0},
  citedby = {0},
  pages = {353-373},
  booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990},
  editor = {J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19672-2},
}

@inproceedings{KapoorB04:0,
  title = {Ordering Mutants to Minimise Test Effort in Mutation Testing},
  author = {Kalpesh Kapoor and Jonathan P. Bowen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=195},
  tags = {testing},
  researchr = {https://researchr.org/publication/KapoorB04%3A0},
  cites = {0},
  citedby = {0},
  pages = {195-209},
  booktitle = {Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers},
  editor = {Jens Grabowski and Brian Nielsen},
  volume = {3395},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25109-X},
}

@inproceedings{BreuerB92,
  title = {Decompilation is the Efficient Enumeration of Types},
  author = {Peter T. Breuer and Jonathan P. Bowen},
  year = {1992},
  tags = {decompilation},
  researchr = {https://researchr.org/publication/BreuerB92},
  cites = {0},
  citedby = {0},
  pages = {255-273},
  booktitle = {WSA},
}

@article{KapoorB07,
  title = {Test conditions for fault classes in Boolean specifications},
  author = {Kalpesh Kapoor and Jonathan P. Bowen},
  year = {2007},
  doi = {10.1145/1243987.1243988},
  url = {http://doi.acm.org/10.1145/1243987.1243988},
  tags = {testing},
  researchr = {https://researchr.org/publication/KapoorB07},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {16},
  number = {3},
  pages = {10},
}

@incollection{BowenH97,
  title = {Formal Models and the Specification Process},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {1997},
  tags = {meta-model, modeling, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/BowenH97},
  cites = {0},
  citedby = {0},
  pages = {2302-2322},
  booktitle = {The Computer Science and Engineering Handbook},
  editor = {Allen B. Tucker},
  publisher = {CRC Press},
  isbn = {0-8493-2909-4},
}

@article{ZhuHLPB10,
  title = {Linking denotational semantics with operational semantics for web services},
  author = {Huibiao Zhu and Jifeng He and Jing Li and Geguang Pu and Jonathan P. Bowen},
  year = {2010},
  doi = {10.1007/s11334-010-0134-z},
  url = {http://dx.doi.org/10.1007/s11334-010-0134-z},
  tags = {semantics, denotational semantics, web service, web services, operational semantics},
  researchr = {https://researchr.org/publication/ZhuHLPB10},
  cites = {0},
  citedby = {0},
  journal = {ISSE},
  volume = {6},
  number = {4},
  pages = {283-298},
}

@article{BlackBBGH09,
  title = {Formal Versus Agile: Survival of the Fittest},
  author = {Sue Black and Paul Boca and Jonathan P. Bowen and Jason Gorman and Mike Hinchey},
  year = {2009},
  doi = {10.1109/MC.2009.284},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.284},
  researchr = {https://researchr.org/publication/BlackBBGH09},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {42},
  number = {9},
  pages = {37-45},
}

@inproceedings{VinhB05,
  title = {Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2005},
  url = {http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080247abs.htm},
  tags = {semantics, formal semantics, C++},
  researchr = {https://researchr.org/publication/VinhB05},
  cites = {0},
  citedby = {0},
  pages = {247-254},
  booktitle = {12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2308-0},
}

@inproceedings{Bowen94,
  title = {Select Z Bibliography},
  author = {Jonathan P. Bowen},
  year = {1994},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen94},
  cites = {0},
  citedby = {0},
  pages = {359-396},
  booktitle = {Z User Workshop},
}

@article{BowenBDGGHHHJJLPRWZ96,
  title = {An Invitation to Formal Methods},
  author = {Jonathan P. Bowen and Ricky W. Butler and David L. Dill and Robert L. Glass and David Gries and Anthony Hall and Michael G. Hinchey and C. Michael Holloway and Daniel Jackson and Cliff B. Jones and Michael J. Lutz and David Lorge Parnas and John M. Rushby and Jeannette M. Wing and Pamela Zave},
  year = {1996},
  tags = {C++},
  researchr = {https://researchr.org/publication/BowenBDGGHHHJJLPRWZ96},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {29},
  number = {4},
  pages = {16-30},
}

@inproceedings{BowenHX00,
  title = {An Animatable Operational Semantics of the Verilog Hardware Description Language},
  author = {Jonathan P. Bowen and Jifeng He and Qiwen Xu},
  year = {2000},
  url = {http://computer.org/proceedings/icfem/0822/08220199abs.htm},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/BowenHX00},
  cites = {0},
  citedby = {0},
  pages = {199-208},
  booktitle = {ICFEM},
}

@article{JifengB94,
  title = {Specification, Verification and Prototyping of an Optimized Compiler},
  author = {Jifeng He and Jonathan P. Bowen},
  year = {1994},
  tags = {optimization, compiler},
  researchr = {https://researchr.org/publication/JifengB94},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {6},
  number = {6},
  pages = {643-658},
}

@article{BowenH06,
  title = {Ten Commandments of Formal Methods ...Ten Years Later},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {2006},
  doi = {10.1109/MC.2006.35},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.35},
  researchr = {https://researchr.org/publication/BowenH06},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {39},
  number = {1},
  pages = {40-48},
}

@article{VilkomirB06,
  title = {From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria},
  author = {Sergiy A. Vilkomir and Jonathan P. Bowen},
  year = {2006},
  doi = {10.1007/s00165-005-0084-7},
  url = {http://dx.doi.org/10.1007/s00165-005-0084-7},
  tags = {testing, analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/VilkomirB06},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {18},
  number = {1},
  pages = {42-62},
}

@article{ZhuQHB09,
  title = {PTSC: probability, time and shared-variable concurrency},
  author = {Huibiao Zhu and Shengchao Qin and Jifeng He and Jonathan P. Bowen},
  year = {2009},
  doi = {10.1007/s11334-009-0100-9},
  url = {http://dx.doi.org/10.1007/s11334-009-0100-9},
  researchr = {https://researchr.org/publication/ZhuQHB09},
  cites = {0},
  citedby = {0},
  journal = {ISSE},
  volume = {5},
  number = {4},
  pages = {271-284},
}

@inproceedings{BowenR11-0,
  title = {From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community},
  author = {Jonathan P. Bowen and Steve Reeves},
  year = {2011},
  doi = {10.1007/978-3-642-21437-0_24},
  url = {http://dx.doi.org/10.1007/978-3-642-21437-0_24},
  tags = {case study},
  researchr = {https://researchr.org/publication/BowenR11-0},
  cites = {0},
  citedby = {0},
  pages = {308-322},
  booktitle = {FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  editor = {Michael Butler and Wolfram Schulte},
  volume = {6664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-21436-3},
}

@inproceedings{BowenH09,
  title = {Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {2009},
  doi = {10.1007/978-3-642-11447-2_14},
  url = {http://dx.doi.org/10.1007/978-3-642-11447-2_14},
  researchr = {https://researchr.org/publication/BowenH09},
  cites = {0},
  citedby = {0},
  pages = {219-233},
  booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday},
  editor = {Jean-Raymond Abrial and Uwe Glässer},
  volume = {5115},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11446-5},
}

@inproceedings{Bowen97,
  title = {Select Z Bibliography},
  author = {Jonathan P. Bowen},
  year = {1997},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen97},
  cites = {0},
  citedby = {0},
  pages = {391-424},
  booktitle = {ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till},
  volume = {1212},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62717-0},
}

@inproceedings{Bowen95a,
  title = {Comp.specification.z and Z FORUM Frequently Asked Questions},
  author = {Jonathan P. Bowen},
  year = {1995},
  researchr = {https://researchr.org/publication/Bowen95a},
  cites = {0},
  citedby = {0},
  pages = {561-569},
  booktitle = {ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey},
  volume = {967},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60271-2},
}

@inproceedings{Bowen95,
  title = {Select Z Bibliography},
  author = {Jonathan P. Bowen},
  year = {1995},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen95},
  cites = {0},
  citedby = {0},
  pages = {527-560},
  booktitle = {ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey},
  volume = {967},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60271-2},
}

@article{BowenBS06,
  title = {Reviews},
  author = {Jonathan P. Bowen and Tim Bergin and Christopher H. Sterling},
  year = {2006},
  doi = {10.1109/MAHC.2006.36},
  url = {http://doi.ieeecomputersociety.org/10.1109/MAHC.2006.36},
  tags = {reviewing},
  researchr = {https://researchr.org/publication/BowenBS06},
  cites = {0},
  citedby = {0},
  journal = {IEEE Annals of the History of Computing},
  volume = {28},
  number = {2},
  pages = {77-80},
}

@inproceedings{Bowen98,
  title = {Select Z Bibliography},
  author = {Jonathan P. Bowen},
  year = {1998},
  tags = {bibliography},
  researchr = {https://researchr.org/publication/Bowen98},
  cites = {0},
  citedby = {0},
  pages = {367-406},
  booktitle = {ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey},
  volume = {1493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65070-9},
}

@article{HincheyJCCBM08,
  title = {Software engineering and formal methods},
  author = {Mike Hinchey and Michael Jackson and Patrick Cousot and Byron Cook and Jonathan P. Bowen and Tiziana Margaria},
  year = {2008},
  doi = {10.1145/1378727.1378742},
  url = {http://doi.acm.org/10.1145/1378727.1378742},
  tags = {software engineering},
  researchr = {https://researchr.org/publication/HincheyJCCBM08},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {51},
  number = {9},
  pages = {54-59},
}

@inproceedings{BowenG94,
  title = {Z and HOL},
  author = {Jonathan P. Bowen and Michael J. C. Gordon},
  year = {1994},
  tags = {C++},
  researchr = {https://researchr.org/publication/BowenG94},
  cites = {0},
  citedby = {0},
  pages = {141-167},
  booktitle = {Z User Workshop},
}

@inproceedings{VilkomirB02,
  title = {Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing},
  author = {Sergiy A. Vilkomir and Jonathan P. Bowen},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2272/22720291.htm},
  tags = {test coverage, testing, coverage},
  researchr = {https://researchr.org/publication/VilkomirB02},
  cites = {0},
  citedby = {0},
  pages = {291-308},
  booktitle = {ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings},
  editor = {Didier Bert and Jonathan P. Bowen and Martin C. Henson and Ken Robinson},
  volume = {2272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43166-7},
}

@inproceedings{BreuerB94:0,
  title = {Towards Correct Executable Semantics for Z},
  author = {Peter T. Breuer and Jonathan P. Bowen},
  year = {1994},
  tags = {semantics},
  researchr = {https://researchr.org/publication/BreuerB94%3A0},
  cites = {0},
  citedby = {0},
  pages = {185-209},
  booktitle = {Z User Workshop},
}

@inproceedings{BowenH97:0,
  title = {The use of industrial-strength formal methods},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {1997},
  url = {http://computer.org/proceedings/compsac/8105/81050332abs.htm},
  researchr = {https://researchr.org/publication/BowenH97%3A0},
  cites = {0},
  citedby = {0},
  pages = {332-337},
  booktitle = {21st International Computer Software and Applications Conference (COMPSAC  97), 11-15 August 1997, Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8105-5},
}

@article{ZhuHB08,
  title = {From algebraic semantics to denotational semantics for Verilog},
  author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen},
  year = {2008},
  doi = {10.1007/s11334-008-0069-9},
  url = {http://dx.doi.org/10.1007/s11334-008-0069-9},
  tags = {semantics, denotational semantics,  algebra},
  researchr = {https://researchr.org/publication/ZhuHB08},
  cites = {0},
  citedby = {0},
  journal = {ISSE},
  volume = {4},
  number = {4},
  pages = {341-360},
}

@inproceedings{VinhB04,
  title = {An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2004},
  doi = {10.1145/968280.968342},
  url = {http://doi.acm.org/10.1145/968280.968342},
  tags = {C++, logic, systematic-approach},
  researchr = {https://researchr.org/publication/VinhB04},
  cites = {0},
  citedby = {0},
  pages = {254},
  booktitle = {Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, FPGA 2004, Monterey, California, USA, February 22-24, 2004},
  editor = {Russell Tessier and Herman Schmit},
  publisher = {ACM},
  isbn = {1-58113-829-6},
}

@inproceedings{BowenBCHHK02,
  title = {FORTEST: Formal Methods and Testing},
  author = {Jonathan P. Bowen and Kirill Bogdanov and John A. Clark and Mark Harman and Robert M. Hierons and Paul Krause},
  year = {2002},
  doi = {10.1109/CMPSAC.2002.1044538},
  url = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044538},
  tags = {testing},
  researchr = {https://researchr.org/publication/BowenBCHHK02},
  cites = {0},
  citedby = {0},
  pages = {91-104},
  booktitle = {26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1727-7},
}

@inproceedings{BowenJP90,
  title = {An Approach to Verifiable Compiling Specification and Prototyping},
  author = {Jonathan P. Bowen and Jifeng He and Paritosh K. Pandya},
  year = {1990},
  tags = {compiler, systematic-approach},
  researchr = {https://researchr.org/publication/BowenJP90},
  cites = {0},
  citedby = {0},
  pages = {45-59},
  booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP 90, Linköping, Sweden, August 20-22, 1990, Proceedings},
  editor = {Pierre Deransart and Jan Maluszynski},
  volume = {456},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53010-X},
}

@inproceedings{ZhuQHB06,
  title = {Integrating Probability with Time and Shared-Variable Concurrency},
  author = {Huibiao Zhu and Shengchao Qin and Jifeng He and Jonathan P. Bowen},
  year = {2006},
  doi = {10.1109/SEW.2006.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.22},
  researchr = {https://researchr.org/publication/ZhuQHB06},
  cites = {0},
  citedby = {0},
  pages = {179-189},
  booktitle = {30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{VilkomirKB03,
  title = {Tolerance of Control-Flow Testing Criteria},
  author = {Sergiy A. Vilkomir and Kalpesh Kapoor and Jonathan P. Bowen},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200182abs.htm},
  tags = {testing, data-flow},
  researchr = {https://researchr.org/publication/VilkomirKB03},
  cites = {0},
  citedby = {0},
  pages = {182-187},
  booktitle = {27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2020-0},
}

@inproceedings{GimsonBG86,
  title = {Distributed computing software project},
  author = {Roger B. Gimson and Jonathan P. Bowen and Tim Gleeson},
  year = {1986},
  doi = {10.1145/503956.503978},
  url = {http://doi.acm.org/10.1145/503956.503978},
  researchr = {https://researchr.org/publication/GimsonBG86},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2nd ACM SIGOPS European Workshop, Amsterdam, Netherlands, September 8-10, 1986},
  publisher = {ACM},
}

@article{Bowen86-1,
  title = {Design of a Simple Cambridge Ring Interface Adapter},
  author = {Jonathan P. Bowen},
  year = {1986},
  tags = {design},
  researchr = {https://researchr.org/publication/Bowen86-1},
  cites = {0},
  citedby = {0},
  journal = {Comput. Syst. Sci. Eng.},
  volume = {1},
  number = {2},
  pages = {93-98},
}

@inproceedings{Bowen92a,
  title = {Comp.specification.z and Z FORUM Frequently Asked Questions},
  author = {Jonathan P. Bowen},
  year = {1992},
  researchr = {https://researchr.org/publication/Bowen92a},
  cites = {0},
  citedby = {0},
  pages = {342-347},
  booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  editor = {Jonathan P. Bowen and J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19818-0},
}

@article{BreuerB95,
  title = {A PREttier Compiler-Compiler: Generating Higher-order Parsers in C},
  author = {Peter T. Breuer and Jonathan P. Bowen},
  year = {1995},
  tags = {C++, compiler, parsing},
  researchr = {https://researchr.org/publication/BreuerB95},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {25},
  number = {11},
  pages = {1263-1297},
}

@inproceedings{VilkomirB08,
  title = {From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria},
  author = {Sergiy A. Vilkomir and Jonathan P. Bowen},
  year = {2008},
  doi = {10.1007/978-3-540-78917-8_8},
  url = {http://dx.doi.org/10.1007/978-3-540-78917-8_8},
  tags = {testing, analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/VilkomirB08},
  cites = {0},
  citedby = {0},
  pages = {240-270},
  booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
  editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
  volume = {4949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78916-1},
}

@inproceedings{BreuerMBFLK99,
  title = {Reasoning about VHDL and VHDL-AMS using Denotational Semantics},
  author = {Peter T. Breuer and Natividad Martínez Madrid and Jonathan P. Bowen and Robert B. France and María M. Larrondo-Petrie and Carlos Delgado Kloos},
  year = {1999},
  url = {http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780346abs.htm},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/BreuerMBFLK99},
  cites = {0},
  citedby = {0},
  pages = {346-352},
  booktitle = {1999 Design, Automation and Test in Europe (DATE  99), 9-12 March 1999, Munich, Germany},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0078-1},
}

@article{Bowen00:0,
  title = {The Ethics of Safety-Critical Systems},
  author = {Jonathan P. Bowen},
  year = {2000},
  doi = {10.1145/332051.332078},
  url = {http://doi.acm.org/10.1145/332051.332078},
  researchr = {https://researchr.org/publication/Bowen00%3A0},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {43},
  number = {4},
  pages = {91-97},
}

@article{VinhB08,
  title = {Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis},
  author = {Phan C. Vinh and Jonathan P. Bowen},
  year = {2008},
  doi = {10.1007/978-3-540-79299-4_1},
  url = {http://dx.doi.org/10.1007/978-3-540-79299-4_1},
  tags = {data-flow, C++, systematic-approach},
  researchr = {https://researchr.org/publication/VinhB08},
  cites = {0},
  citedby = {0},
  journal = {Transactions on Computational Science},
  volume = {1},
  pages = {1-36},
}

@inproceedings{BowenS93,
  title = {The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective},
  author = {Jonathan P. Bowen and Victoria Stavridou},
  year = {1993},
  researchr = {https://researchr.org/publication/BowenS93},
  cites = {0},
  citedby = {0},
  pages = {183-195},
  booktitle = {FME  93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings},
  editor = {Jim Woodcock and Peter Gorm Larsen},
  volume = {670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56662-7},
}

@inproceedings{BowenH94,
  title = {Seven More Myths of Formal Methods},
  author = {Jonathan P. Bowen and Michael G. Hinchey},
  year = {1994},
  researchr = {https://researchr.org/publication/BowenH94},
  cites = {0},
  citedby = {0},
  pages = {105-117},
  booktitle = {FME  94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings},
  editor = {Maurice Naftalin and B. Tim Denvir and Miquel Bertran},
  volume = {873},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58555-9},
}
@proceedings{fortest:2008,
  title = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
  year = {2008},
  tags = {testing},
  researchr = {https://researchr.org/publication/fortest%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
  conference = {fortest},
  editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
  volume = {4949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78916-1},
}

@proceedings{asm:2008,
  title = {Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings},
  year = {2008},
  tags = {state machines, abstract machine},
  researchr = {https://researchr.org/publication/asm%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings},
  conference = {asmta},
  editor = {Egon Börger and Michael J. Butler and Jonathan P. Bowen and Paul Boca},
  volume = {5238},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87602-1},
}

@proceedings{zum:2003,
  title = {ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings},
  year = {2003},
  researchr = {https://researchr.org/publication/zum%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings},
  conference = {zum},
  editor = {Didier Bert and Jonathan P. Bowen and Steve King and Marina A. Waldén},
  volume = {2651},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40253-5},
}

@proceedings{zum:1995,
  title = {ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings},
  year = {1995},
  researchr = {https://researchr.org/publication/zum%3A1995},
  cites = {0},
  citedby = {0},
  booktitle = {ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings},
  conference = {zum},
  editor = {Jonathan P. Bowen and Michael G. Hinchey},
  volume = {967},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60271-2},
}

@proceedings{zum:1992,
  title = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  year = {1992},
  researchr = {https://researchr.org/publication/zum%3A1992},
  cites = {0},
  citedby = {0},
  booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  conference = {zum},
  editor = {Jonathan P. Bowen and J. E. Nicholls},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19818-0},
}

@proceedings{zum:2000,
  title = {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},
  year = {2000},
  researchr = {https://researchr.org/publication/zum%3A2000},
  cites = {0},
  citedby = {0},
  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},
  conference = {zum},
  editor = {Jonathan P. Bowen and Steve Dunne and Andy Galloway and Steve King},
  volume = {1878},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67944-8},
}

@proceedings{zum:2002,
  title = {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},
  year = {2002},
  researchr = {https://researchr.org/publication/zum%3A2002},
  cites = {0},
  citedby = {0},
  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},
  conference = {zum},
  editor = {Didier Bert and Jonathan P. Bowen and Martin C. Henson and Ken Robinson},
  volume = {2272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43166-7},
}

@proceedings{zum:1998,
  title = {ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  year = {1998},
  researchr = {https://researchr.org/publication/zum%3A1998},
  cites = {0},
  citedby = {0},
  booktitle = {ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
  conference = {zum},
  editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey},
  volume = {1493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65070-9},
}

@proceedings{zum:1997,
  title = {ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  year = {1997},
  researchr = {https://researchr.org/publication/zum%3A1997},
  cites = {0},
  citedby = {0},
  booktitle = {ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  conference = {zum},
  editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till},
  volume = {1212},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62717-0},
}