Publications sorted by type
by Jonathan Bowen

November 1999.
* Where publications are joint, I am the main author if named first and a subsidiary author otherwise, except for starred entries where authors provided approximately equal effort. For entries with no named author, I am the sole author.

Books (authored)

  1. High-Integrity System Specification and Design, Jonathan Bowen and Mike Hinchey (University of Nebraska at Omaha). Springer-Verlag, London, (New) FACIT series, April 1999. ISBN 3-540-76226-4.

  2. Formal Specification and Documentation using Z: A Case Study Approach, Jonathan Bowen. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-850-32230-9.

Books (edited)

  1. Industrial-Strength Formal Methods in Practice, Mike Hinchey (University of Nebraska at Omaha) and Jonathan Bowen (eds.). Springer-Verlag, London, (New) FACIT series, September 1999. ISBN 1-85233-640-4.

    Co-author of the following chapter:

  2. ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, Jonathan Bowen, Andreas Fett (Daimler-Benz AG, Germany), Mike Hinchey (University of Nebraska at Omaha / University of Limerick) (eds.). Springer-Verlag, LNCS 1493, September 1998. ISBN 3-540-65070-9.

    Author of the following appendices:

    1. Select Z Bibliography, pages 367-406.
    2. Comp.specification.z and Z FORUM Frequently Asked Questions, pages 407-415.

  3. ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3-4 April 1997, Jonathan Bowen, Mike Hinchey (NJIT / University of Limerick) and David Till (eds.). Springer-Verlag, LNCS 1212, April 1997. ISBN 3-540-62717-0.

    Author of the following appendices:

    1. Select Z Bibliography, pages 391-424.
    2. Comp.specification.z and Z FORUM Frequently Asked Questions, pages 425-433.

  4. ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, 7-9 September 1995, Jonathan Bowen and Mike Hinchey (NJIT, USA) (eds.). Springer-Verlag, LNCS 967. September 1995. ISBN: 3-540-60271-2. *
    Author of the following appendices:
    1. Select Z Bibliography, pages 527-560.
    2. Comp.specification.z and Z FORUM Frequently Asked Questions, pages 561-569.

  5. Applications of Formal Methods, Mike Hinchey (NJIT, USA) and Jonathan Bowen (eds.). Prentice Hall International Series in Computer Science, series editor Prof. C.A.R. Hoare. August 1995. ISBN: 0-13-366949-1.

    Co-author of the following chapter:

  6. Towards Verified Systems, Jonathan Bowen (ed.). Elsevier Science, Real-Time Safety Critical Systems series, volume 2, series editor Hussein Zedan, 1994. ISBN 0-444-89901-4.

    Co-author of the following four chapters:

    1. J.P. Bowen and V. Stavridou, Safety-Critical Systems and Formal Methods, Chapter 1, pp 3-33.
    2. J.P. Bowen, M.J.C. Gordon, J.A. Camilleri, P.K. Pandya et al. Overview of the Project, Chapter 2, pp 35-46.
    3. J.P. Bowen, He Jifeng and I. Page, Hardware Compilation, Chapter 10, pp 193-207. *
    4. D.E. Shepherd and J.P. Bowen, Integration into the Industrial Design Process, Chapter 11, pp 211-221.

  7. Z User Workshop, Cambridge 1994, Jonathan Bowen and Anthony Hall (Praxis Systems plc) (eds.). Springer-Verlag, Workshops in Computing, 1994. ISBN 3-540-19884-9.

  8. Z User Workshop, London 1992, Jonathan Bowen and John E. Nicholls (eds.). Springer-Verlag, Workshops in Computing, 1993. ISBN 3-540-19818-0.

Book chapters (invited)

  1. Z: A Formal Specification Notation. In H. Habrias and M. Frappier (eds.), Comparing Systems Specification Techniques, Springer-Verlag, 2000. To appear.

  2. Formal Models and the Specification Process. Jonathan Bowen and Mike Hinchey (NJIT). In Allen B. Tucker, Jr. (ed.), The Computer Science and Engineering Handbook, Section X, Software Engineering, Chapter 107, pages 2302-2322, CRC Press, 1997.

  3. Museums and the Internet. In Tony Gill (ed.), The MDA Guide to Computers in Museums, pages 57-58, Museum Documentation Association, Cambridge, UK, 1996.

  4. Rapid Compiler Implementation. Chapter 10 in He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers, McGraw-Hill International Series in Software Engineering, pp 141-169, 1995.

  5. Decompilation, Jonathan Bowen and Peter Breuer. Chapter 10 in Henk van Zuylen (ed.), The REDO Compendium: Reverse Engineering for Software Maintenance, John Wiley & Sons, pp 131-138, 1993. *

  6. Understanding Programs through Formal Methods, Peter Breuer, Kevin Lano and Jonathan Bowen. Chapter 15 in Henk van Zuylen (ed.), The REDO Compendium: Reverse Engineering for Software Maintenance, John Wiley & Sons, pp 195-223, 1993. Also previously issued as a Oxford University Computing Laboratory Technical Report PRG-TR-15-91.

  7. Distributed Operating Systems, Jonathan Bowen and Timothy Gleeson (University of Cambridge). Chapter 1 in Hussein Zedan (ed.), Distributed Computer Systems: Theory and Practice, Butterworth Scientific Ltd., pp 3-28, 1990. *

Journals (invited)

  1. Museums and the Internet (2), Museum International, 52(1), January-March 2000. Guest editor. To appear.

  2. Museums and the Internet (1), Museum International, no. 204, 51(4):4-41, October-December 1999.
    Guest editor. See: Only Connect!, pages 4-7.
    Published in English, French, Spanish, Russian and Arabic.

  3. An Invitation to Formal Methods, Hossein Saiedian, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David L. Parnas, John Rushby, Jeannette Wing, and Pamela Zave. IEEE Computer, 29(4):16-30, April 1996. *

  4. Editorial (Z special issue), Jonathan Bowen and Mike Hinchey (University of Cambridge) (eds.). Information and Software Technology, 37(5-6):258-259, May/June 1995.

  5. Annotated Z Bibliography, Jonathan Bowen, Susan Stepney and Rosalind Barden (Logica Cambridge Limited). Information and Software Technology, 37(5-6):317-332, May/June 1995.

  6. A Shallow Embedding of Z in HOL, Jonathan Bowen and Mike Gordon (University of Cambridge). Information and Software Technology, 37(5-6):269-276, May/June 1995. *

Journals (refereed)

  1. The Ethics of Safety-Critical Systems. Communcations of the ACM, 43(4), April 2000. To appear.

  2. Virtual Visitors and Virtual Museums, Jonathan Bowen, Jim Bennett (Oxford University) and James Johnson (Natural History Museum). Publics et Musées, December 1999. (In French.) To appear.

  3. The World Wide Web and the Virtual Library Museums Pages. European Review: Interdisciplinary Journal of the Academia Europaea. 5(1):89-104, January 1997.

  4. On-line Museums. Revue: Informatique et Statistique dans les Sciences Humaines, 32(1-4):29-44, 1996.

  5. The World Wide Web Virtual Library of Museums. Information Services & Use, 15(4):317-324, 1995.

  6. A PREttier Compiler-Compiler: Generating Higher Order Parsers in C, Peter Breuer and Jonathan Bowen. Software - Practice and Experience, 25(11):1263-1297, November 1995. Previous version issued as an Oxford University Computing Laboratory Technical Report PRG-TR-20-92, 25pp, November 1992.

  7. Seven More Myths of Formal Methods, Jonathan Bowen and Mike Hinchey (University of Cambridge). IEEE Software, 12(4):34-41, July 1995. Previously available as University of Cambridge Computer Laboratory Technical Report 357, 12pp, December 1994 and Oxford University Computing Laboratory Technical Report PRG-TR-7-94, 19pp, June 1994. *

  8. Ten Commandments of Formal Methods, Jonathan Bowen and Mike Hinchey. IEEE Computer, 28(4):56-63, April 1995. Previous version available as Technical Report No. 350, University of Cambridge Computer Laboratory, 18pp, September 1994. *

  9. A Brief History of Algebra and Computing: An Eclectic Oxonian View. IMA Bulletin, 31(1/2):6-9, January/February 1995. Dedicated to Prof. C.A.R. Hoare on his 60th birthday. Also available in a longer version as Oxford University Computing Laboratory Technical Report PRG-TR-9-94, July 1994.

  10. Specification, Verification and Prototyping of an Optimized Compiler, He Jifeng and Jonathan Bowen. Formal Aspects of Computing, 6(6):643-658, 1994.

  11. Decompilation: The Enumeration of Types and Grammars, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(5):1613-1647, September 1994. Previous version available as Oxford University Computing Laboratory Technical Report PRG-TR-11-92, 28pp, May 1992.

  12. Formal Methods and Safety-Critical Standards, Jonathan Bowen and Mike Hinchey (University of Cambridge). IEEE Computer, 27(8):68-71, August 1994.

  13. Formal Methods: Epideictic or Apodeictic?, Jonathan Bowen and Victoria Stavridou (University of London). IEE/BCS Software Engineering Journal, Personal View, 9(1):2, January 1994. Also in BCS FACS FACTS, Series III, 1(3):5-6, Summer 1993. *

  14. From Programs to Object Code and back again using Logic Programming: Compilation and Decompilation, Journal of Software Maintenance: Research and Practice, 5(4):205-234, December 1993.

  15. Formal Specifications in Software Maintenance: From code to Z++ and back again, Jonathan Bowen, Peter Breuer (Universidad Politécnica de Madrid) and Kevin Lano (Lloyd's Register). Information and Software Technology, 35(11/12):679-690, November/December 1993. *

  16. A Compendium of Formal Techniques for Software Maintenance, Jonathan Bowen, Peter Breuer (Universidad Politécnica de Madrid) and Kevin Lano (Lloyd's Register). IEE/BCS Software Engineering Journal, 8(5):253-262, September 1993. *

  17. Safety-Critical Systems, Formal Methods and Standards, Jonathan Bowen and Victoria Stavridou (University of London). IEE/BCS Software Engineering Journal, 8(4):189-209, July 1993.
    Winner of the IEE Charles Babbage Premium award, 1994.

  18. Systèmes à Sûreté de Fonctionnement Critique, Méthodes Formelles et Normes, Jonathan Bowen and Victoria Stavridou (University of London). Génie Logiciel & Systèmes Experts, 30:55-82, March 1993.

  19. X: Why Z?, Computer Graphics Forum, 11(4):221-234, October 1992.

  20. Formal Specification of the ProCoS/safemos Instruction Set. Microprocessors and Microsystems, in Special Feature: Hussein Zedan (ed.), Formal Aspects of Microprocessor Design, 14(10):631-643, December 1990.

  21. POS: Formal Specification of a UNIX Tool, IEE/BCS Software Engineering Journal, 4(1):67-72, January 1989.

  22. Formal Specification and Documentation of Microprocessor Instruction Sets. Microprocessing and Microprogramming, 21(1-5):223-230, September 1987.

  23. Design of a Simple Cambridge Ring Interface Adapter. Computer Systems Science and Engineering, 1(2):93-98, January 1986.

  24. A User-friendly Interface Adapter. Microprocessors and Microsystems, 9(9):432-439, November 1985.

  25. Microprocessor I/O Emulation Facilities. Microprocessors and Microsystems, 9(8):386-393, October 1985.

  26. A Set of Microprocessor Programming Cards. Microprocessors and Microsystems, 9(6):274-290, July/August 1985.

  27. 6800/6802 Emulator Adapter Design Note. Microprocessors and Microsystems, 9(1):24-26, January/February 1985.

  28. Software/hardware Integration on Microprocessors. Microprocessors and Microsystems, 9(1):8-14, January/February 1985.

Conferences (invited keynote addresses)

  1. The Process of Producing a Formal Specification. Proc. 2nd Joint Workshop on Systems Development, Cheju, Korea, 12-13 February 1999.

  2. The Ethics of Safety-Critical Systems. In Dimitris Gritzalis and Tom Anderson (eds.), Reliability, Quality and Safety of Software-Intensive Systems: Application experiences, trends and perspectives, and key theoretical issues, pages 253-267, European Commission ESPRIT/ESSI Programme ENCRESS (21542) Project, 1997.

  3. Z and HOL, Jonathan Bowen and Mike Gordon (University of Cambridge). In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 141-167, 1994. *

  4. Developing Correct Systems, Jonathan Bowen, Martin Fränzle (Christian-Albrechts Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany) and Anders P. Ravn (Technical University of Denmark). Proc. Fifth Euromicro Workshop on Real-Time Systems, Oulu, Finland, 22-24 June 1993. IEEE Computer Society Press, pp 176-187, 1993.

Conferences (refereed)

  1. Time for Renovations: A Survey of Museum Web Sites. In David Bearman and Jennifer Trant (eds.), Museums and the Web 1999: Selected papers from an international conference, New Orleans, USA, 11-14 March 1999, pages 163-172, Archives & Museum Informatics, Pittsburgh, Pennsylvania, USA, 1999.

  2. Z and the Web using Java, Jonathan Bowen and David Chippington. In J.P. Bowen, A. Fett and M.G. Hinchey (eds.), ZUM'98: The Z Formal Specification Notation, pages 66-80, Springer-Verlag, LNCS 1493, 1998.

  3. Virtual Visits to Virtual Museums, Jonathan Bowen, Jim Bennett (Oxford University) and James Johnson (Natural History Museum). In Jennifer Trant and David Bearman (eds.), Proc. Museums and the Web 1998, Toronto, Canada, 22-25 April 1998. CD-ROM, Archives & Museum Informatics, 5501 Walnut Street, Suite 203, Pittsburgh, Pennsylvania 15232-2311, USA, 1998.

  4. An Invoicing Case Study in Z. In H. Habrias (ed.), Proc. Invoicing'98, International Workshop on Comparing Systems Specification Techniques, Nantes, France, 26-27 March 1998.

  5. The Virtual Library museums pages (VLmp): Whence and Whither? In David Bearman and Jennifer Trant (eds.), Museums and the Web, 1997: Selected Papers, pages 9-25, Archives & Museum Informatics, 5501 Walnut Street, Suite 203, Pittsburgh, Pennsylvania 15232-2311, USA, 1997.

  6. The Use of Industrial-Strength Formal Methods, Jonathan Bowen and Mike Hinchey. Proc. 21st International Computer Software & Application Conference (COMPSAC'97), Washington D.C., USA, 13-15 August 1997, pages 332-337, IEEE Computer Society Press, 1997.

  7. Just in Time: Towards a new formal method for specification and implementation of real-time processes, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. Proc. SERF'95, Boca Raton, Florida, USA, November 1995.

  8. Seven Deadly Sins, Mike Hinchey (NJIT, USA) and Jonathan Bowen. Proc. SERF'95, Boca Raton, Florida, USA, November 1995.

  9. Towards Verified Systems: The SAFEMOS Project, Jonathan Bowen, He Jifeng, Roger Hale (Cambridge SRI) and John Herbert (Cambridge SRI). In C. Mitchell and V. Stavridou (eds.), The Mathematics of Dependable Systems, Oxford University Press, The Institute of Mathematics and its Applications Conference Series, volume 55, pages 23-48, 1995.

  10. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices, Jonathan Bowen and Mike Hinchey (University of Cambridge). In M. Naftalin, T. Denvir and M. Bertran (eds), FME'94: Industrial Benefit of Formal Methods, Springer-Verlag, LNCS 873, pp 105-117, 1994.

  11. Towards Correct Executable Semantics for Z, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 185-209, 1994.

  12. Formal Methods in Safety-Critical Standards. In Proc. 1993 Software Engineering Standards Symposium (SESS'93), Brighton, UK, 30 August - 3 September 1993. IEEE Computer Society Press, pp 168-177, 1993.

  13. Towards a Provably Correct Hardware Implementation of Occam, He Jifeng, Ian Page and Jonathan Bowen. In G.J. Milne and L. Pierre (eds.), Correct Hardware Design and Verification Methods, Proc. IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, France, 24-26 May 1993, Springer-Verlag, LNCS 683, pp 214-225, 1993.

  14. The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective, Jonathan Bowen and Victoria Stavridou (University of London). In J.C.P. Woodcock and P.G. Larsen (eds.), FME'93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, 19-23 April 1993, Springer-Verlag, LNCS 670, pp 183-195, 1993.

  15. The PRECC Compiler-Compiler, Peter Breuer and Jonathan Bowen. In Elwyn Davies and Andrew Findlay (eds.), Proc. UKUUG/SUKUG Joint New Year 1993 Conference, Oxford, UK, 6-8 January 1993. UKUUG/SUKUG Secretariat, Owles Hall, Buntingford, Herts SG9 9PL, UK, pp 167-182, 1993.

  16. Occam's Razor: The Cutting Edge of Parser Technology, Jonathan Bowen and Peter Breuer. Proc. TOULOUSE 92: Fifth International Conference on Software Engineering and its Applications, Toulouse, France, 7-11 December 1992. Available from EC2, 269/287 rue de la Garenne, 92024 Nanterre Cedex, France. *

  17. Formal Methods and Software Safety, Jonathan Bowen and Victoria Stavridou (University of London). In Heinz Frey (ed.), Safety of Computer Control Systems 1992 (SAFECOMP'92), Proc. IFAC Symposium, Zürich, Switzerland, 28-30 October 1992, Pergamon Press, pp 93-98, 1992.

  18. Decompilation is the Efficient Enumeration of Types, Peter Breuer and Jonathan Bowen. In M. Billaud et al. (eds.), Journées de Travail WSA'92 Analyse Statique, Bordeaux, France, 23-25 September 1992, BIGRE 81-82, IRISA-Campus de Beaulieu, F-35042 Rennes cedex, France, pp 255-273, 1992.

  19. From Programs to Object Code using Logic and Logic Programming. In Robert Giegerich and Susan L. Graham (eds.), Code Generation - Concepts, Tools, Techniques, Proc. International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991. Springer-Verlag, Workshops in Computing, pp 173-192, August 1992.

  20. Time Interval Semantics and Implementation of a Real-Time Programming Language, He Jifeng and Jonathan Bowen. Proc. Fourth Euromicro Workshop on Real-Time Systems, Athens, Greece, 3-5 June 1992. IEEE Computer Society Press, pp 110-115, 1992.

  21. An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the ProCoS Level 0 Programming Language, C.A.R. Hoare, He Jifeng, Jonathan Bowen and Paritosh Pandya. In Directorate-General XIII of the Commission of the European Communities (eds.), ESPRIT '90 Conference Proceedings, Brussels, Belgium, 12-15 November 1990, Kluwer Academic Publishers, pp 804-818, 1990.

  22. An Approach to Verifiable Compiling Specification and Prototyping, Jonathan Bowen, He Jifeng and Paritosh Pandya. In Pierre Deransart and Jan Maluszynski (eds.), Programming Language Implementation and Logic Programming, Proc. International Workshop PLILP '90, Linköping, Sweden, 20-22 August 1990, Springer-Verlag, LNCS 456, pp 45-59, 1990.

  23. Formal Specification in Z as a Design and Documentation Tool. Proc. Second IEE/BCS Conference, Software Engineering 88, Liverpool, UK, 11-15 July 1988. Conference Publication No. 290, pp 164-168, 1988.

  24. The Event Queue: An Extensible Input System for UNIX Workstations, David Brown (University of Cambridge and Digital Equipment Corporation) and Jonathan Bowen. In Proc. European Unix systems Users Group Spring 1987 Conference, UNIX grows up, Helsinki, Finland and Stockholm, Sweden, 12-14 May 1987, pp 29-52, 1987.

Selected book reviews (invited)

  1. Harvard Pioneer of Digital Frontiers. The Times Higher Education Supplement, 1409:30-31, 5 November 1999. Review of Howard Aiken: Portrait of a Computer Pioneer, I. Bernard Cohen / Makin' Numbers: Howard Aiken and the Computer, I. Bernard Cohen and Gregory W. Welch (eds.), The MIT Press, 1999.

  2. How to Get a Grip on those Troublesome Constraints. The Times Higher Education Supplement, page 24, 5 February 1999. Review of Programming with Constraints: An Introduction, Kim Marriott and Peter J. Stuckey. The MIT Press, 1998.

  3. Modern Compiler Implementation in C: Basic Techniques, Modern Compiler Implementation in Java: Basic Techniques, Modern Compiler Implementation in ML: Basic Techniques. Computers & Chemistry, 22(2-3):265-266, 1998. Review of Modern Compiler Implementation in C / Java / ML (set of three books), A. W. Appel, Cambridge University Press, 1997.

  4. Speed Addicts. The Times Higher Education Supplement, 1338:27, 26 June 1998. Review of The Supermen: The Story of Seymour Cray and the Technical Wizards behind the Supercomputer, Charles J. Murray, Wiley, 1997.

  5. Book review. The Computer Journal, 40(5):296-297, 1997. Review of The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky. Cambridge University Press, 1997.

  6. Lessons to learn from Net gains in the US. Museums Journal, 97(12):29, December 1997. Review of The Wired Museum, Katherine Jones-Garmil (ed.), American Museums Association, 1997.

  7. B-hold the Future of Software Development. The Times Higher Education Supplement, Multimedia computer books, 1267:30, 14 February 1997. Review of The B-Book: Assigning Programs to Meanings, J.-R. Abrial, Cambridge University Press, 1996.

  8. Book review. The Knowledge Engineering Review, 11(4):373-374, 1996. Review of The Knowledge Acquisition and Representation Language, KARL, D. Fensel, Kluwer Academic Publishers, 1995.

  9. Lionising Leo. The Times Higher Education Supplement, page 25, 22 November 1996. Review of The World's First Business Computer: User-Driven Innovation, D.T. Caminer (ed.), McGraw-Hill, 1996.

  10. Book review. Formal Aspects of Computing, 8(2):245-246, March/April 1996. High Integrity Compilation: A Case Study, Susan Stepney, Prentice Hall, 1993.

  11. Book review. The Knowledge Engineering Review, 11(2):197-198, 1996. Review of Formal Methods in Knowledge Engineering, M. Aben, University of Amsterdam, Netherlands, 1995.

  12. Accidents Waiting to Happen. The Times Higher Education Supplement, Multimedia computer books, page vi, 8 September 1995. Review of Computer Related Risks, P.G. Neumann, Addison Wesley, 1995 and Safeware: System Safety and Computers, N.G. Leveson, Addison Wesley, 1995.

  13. Current Ideas, Eclectic Charge. The Times Higher Education Supplement, page 26, 5 May 1995. Review of Van Nostrand's Scientific Encyclopedia, D.M. Considine (ed.), 8th edition, two volumes, Van Nostrand Reinhold, 1995.

  14. Guerrilla Attacks on Logic. The Times Higher Education Supplement, Multimedia reviews, page xi, 16 September 1994. Review of Handbook of Logic in Artificial Intelliigence and Logic Programming, Dov M. Gabbay, C.J. Hogger and J.A. Robinson (eds.), volumes 1-3, Oxford University Press, 1993-4.

Articles (unrefereed)

  1. Beijing takes the Software Pearl in Macau's Crown. The Times Higher Education Supplement, 1409:13, 5 November 1999.

  2. VLmp: The Virtual Library museums pages. ICOM News: Newsletter of the International Council of Museums, 52(1&2):9, 1999.

  3. A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694, Jonathan Bowen, C.A.R. Hoare (Oxford University), Hans Langmaack (Christian-Albrechts-Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany) and Anders P. Ravn (Technical University of Denmark), Bulletin of the European Association for Theoretical Computer Science (EATCS), Volume 64:63-72, February 1998.

  4. Working the Web, Jonathan Bowen, Jim Bennett (Museum of History of Science, Oxford University), and Ian Morrison (National Museums of Scotland, Edinburgh). Museums Journal, 97(11):28-29, November 1997.

  5. Ten Commandments of Formal Methods, Jonathan Bowen and Mike Hinchey (NJIT). PC World Russia, September/October 1997. Russian translation of original paper.

  6. Zeven Nieuwe Fabels over Formele Methoden, Jonathan Bowen and Mike Hinchey (NJIT). IT Management [Select], 4:34-45, December 1996. Dutch translation of Seven More Myths of Formal Methods.

  7. Virtual Museum of Computing Web Site. IEEE Annals of the History of Computing, 18(4):67, 1996.

  8. The Virtual Library Museums Pages on ICOM's World Wide Web site. ICOM News: Bulletin of the International Council of Museums, 49(2):10, 1996.

  9. A ProCoS II Project Final Report: ESPRIT Basic Research project 7071, Jonathan Bowen, C.A.R. Hoare (Oxford University), Hans Langmaack (Christian-Albrechts-Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany) and Anders P. Ravn (Technical University of Denmark). Bulletin of the European Association for Theoretical Computer Science (EATCS), 59:76-99, June 1996.

  10. Unravelling the Web & Collections of Collections. Museums Journal, pages 23-25, August 1995.

  11. Report on Z User Meeting (ZUM'94), Jonathan Bowen and Mike Hinchey (University of Cambridge). Information and Software Technology, 37(5-6):335-336, May/June 1995. Also in FACS Europe, Series I, 1(3):31-32, Winter 1994. *

  12. Exhibitions in the Ether. The Times Higher Education Supplement, Multimedia features, page xii, 10 March 1995.

  13. A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694, Jonathan Bowen et al. Bulletin of the European Association for Theoretical Computer Science (EATCS), 53, pp 136-145, June 1994.

  14. Comp.specification.z and Z FORUM Frequently Asked Questions. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 397-404, 1994.

  15. Report on Z User Meeting, London 1992. BCS FACS FACTS, Series III, 1(3):7-8, Summer 1993.
    Other versions:

  16. A ProCoS II Project Description: ESPRIT Basic Research project 7071, Jonathan Bowen et al. Bulletin of the European Association for Theoretical Computer Science (EATCS), 50, pp 128-137, June 1993.

  17. Comp.specification.z and Z FORUM Frequently Asked Questions. In Jonathan Bowen and John E. Nicholls (eds.), Z User Workshop, London 1992, Springer-Verlag, Workshops in Computing, pp 342-347, 1993.

  18. Comp.specification.z and Z FORUM Frequently Asked Questions. In John E. Nicholls (ed.), Z User Workshop, York 1991, Springer-Verlag, Workshops in Computing, pp 398-401, 1992.

  19. A ProCoS Project Description: ESPRIT BRA 3104, Dines Bjørner, C.A.R. Hoare, Jonathan Bowen, He Jifeng, Hans Langmaack, Ernst-Rüdiger Olderog, Ursula Martin, Victoria Stavridou, Fleming Nielson, Hanne Riis Nielson, Howard Barringer, Doug Edwards, Hans Henrik Løvengreen, Anders Ravn and Hans Rischel. Bulletin of the European Association for Theoretical Computer Science (EATCS), 39, pp 60-73, October 1989.

  20. Workstation FORTRAN Supplement, and N-dimensional Cubes. Pipeline, Silicon Graphics, Mountain View, California, USA, 1(2):11-16, Summer 1984.

  21. It's a Frame-up. Input, 2(17):509-513, 1984.

  22. Wireframes in 3-D. Input, 2(18):560-565, 1984.

  23. Getting Things in Perspective. Input, 2(20):605-611, 1984.

  24. Wireframes - Adding Curves. Input, 2(21):662-668, 1984.

  25. Get your Programs in Shape. Input, 1(6):173-178, 1984.

  26. Get your Programs in Shape - 2. Input, 1(7):216-219, 1984.

  27. Geometrical Plotting Library. Practical Computing, 6(10):108-110, October 1983.

  28. Hypercubes. Practical Computing, 5(4):97-99, April 1982.

Meetings (unrefereed)

  1. Hardware Compilation of the ProCoS Gas Burner Case Study using Logic Programming. In G. Brown (ed.), Proc. ProCoS-US Hardware Synthesis and Verification Workshop, Cornell University, Ithaca, New York, USA, 14-16 August 1996. Also available as Technical Report RUCS/96/TR/011/A, 1996.

  2. The World Wide Web Virtual Library of Museums. In J. Hemsley (ed.), Proc. EVA'95: Electronic Imaging & the Visual Arts, National Gallery, London, UK, 27 July 1995. Brameur Ltd., Clarke House, 2 Kings Road, Fleet, Hants GU13 9AD, UK. ISBN 0-99519980-7-2.

  3. Seven Deadly Sins, Mike Hinchey (University of Cambridge) and Jonathan Bowen. In Practical Application of Formal Methods, IEE Colloquium, Computing and Control Division, Digest No. 1995/109, The Institution of Electrical Engineers, Savoy Place, London WC2R 0BL, UK, pages 4/1-3, 19 May 1995. Extended abstract.

  4. The Virtual Library of Museums. In G. Day (ed.), Proc. Museum Collections and the Information Superhighway, pages 37-39, Science Museum, London, UK, 10 May 1995.

  5. Compiling Software directly into Hardware. Abstract in Hans Langmaack, Eric Neuhold and Manfred Paul (eds.), Software Construction - Foundation and Application, Dagstuhl-Seminar-Report 29, 13-17.1.1992 (9203), IBFI GmbH, Schloß Dagstuhl, W-6648, Wadern, Germany, pages 13-14, 1992.

  6. From Programs to Object Code and back again using Logic Programming. Abstract in Robert Giegerich and Susan L. Graham (eds.), Code Generation - Concepts, Tools, Techniques, Dagstuhl-Seminar-Report 13, 20-24.5.1991 (9121), IBFI GmbH, Schloß Dagstuhl, W-6648, Wadern, Germany, page 9, 1991.

Other publications

  1. Networked Multi-user and Multimedia Environments for Learning and Collaboration, Jonathan Bowen and Michael Houghton (Entranet), RUCS Technical Report, RUCS/1999/TR/013/A, Department of Computer Science, The University of Reading, November 1999.

  2. Hardware Compilation: Verification and Rapid-prototyping, Jonathan Bowen and He Jifeng (UNU/IIST, Macau). RUCS Technical Report, RUCS/1999/TR/012/A, Department of Computer Science, The University of Reading, October 1999.

  3. Animating the Semantics of VERILOG using Prolog, UNU/IIST Technical Report no. 176, International Institute for Software Technology, United Nations University, Macau, September 1999.

  4. Generating Decompilers, Peter Breuer (Universidad Carlos III de Madrid) and Jonathan Bowen. RUCS Technical Report, RUCS/1998/TR/TBD/A, Department of Computer Science, The University of Reading, October 1998.

  5. System and Software Safety in Critical Systems, Ulla Isaksen, Jonathan Bowen and Nimal Nissanke. RUCS Technical Report, RUCS/97/TR/062/A, Department of Computer Science, The University of Reading, 1997.

  6. A Concrete Grammar for Z, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. Oxford University Computing Laboratory Technical Report PRG-TR-22-95, September 1995. Also issued as a poster, Z in PRECC (A PREttier Compiler-Compiler), FME'96 Symposium, Oxford, UK, 18-22 March 1996.

  7. Alice Bowen's Home Page. In Wayne Ause, Instant HTML Web Pages, chapter 2, Personal Web Pages, pages 20-22, Ziff-Davis Press, 1995.

  8. Z Glossary. Information and Software Technology, 37(5-6):333-334, May/June 1995.

  9. Provably Correct Systems - FTRTFT'94 Tutorial, Jonathan Bowen, C.A.R. Hoare, Michael R. Hansen, Anders P. Ravn, Ernst-Rüdiger Olderog, Michael Schenke, Martin Fränzle, Markus Müller-Ulm, He Jifeng and Zheng Jianping. Third International School and Symposium, Formal Techniques in Real Time and Fault Tolerant Systems, 19-23 September 1994, Lübeck, Germany: School Material. Christian-Albrechts-Universität, 1994.

  10. Select Z Bibliography. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 359-396, 1994. Also available as Oxford University Computing Laboratory Technical Report PRG-TR-8-94, 42pp, June 1994.

  11. Select Z Bibliography. In Jonathan Bowen and John E. Nicholls (eds.), Z User Workshop, London 1992, Springer-Verlag, Workshops in Computing, pp 309-341, 1993. Also issued as Oxford University Computing Laboratory Technical Report PRG-TR-1-93, March 1993.

  12. Programs to Hardware, Jonathan Bowen and He Jifeng. In P.G. Larsen (ed.), Tutorial Material, Formal Methods Europe '93, Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, 19-23 April 1993, pp 437-450. In Anders P. Ravn (ed.), Provably Correct Systems (ProCoS) tutorial. *

  13. Machine Language ML, Jonathan Bowen and He Jifeng. Chapter 22 in Dines Bjørner, Hans Langmaack and C.A.R. Hoare (eds.), Provably Correct Systems, ProCoS Technical Report [ID/DTH DB 13/1], Dept. of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

  14. Rapid Compiler Implementation, Chapter 24 in Dines Bjørner, Hans Langmaack and C.A.R. Hoare (eds.), Provably Correct Systems, ProCoS Technical Report [ID/DTH DB 13/1], Dept. of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

  15. Select Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, York 1991, Springer-Verlag, Workshops in Computing, pp 367-397, 1992. Also issued as a Oxford University Computing Laboratory Technical Report PRG-TR-10-92.

  16. The REDO Project: Final Report, Jonathan Bowen, Peter Breuer and Kevin Lano. Oxford University Computing Laboratory Technical Report PRG-TR-23-91, 45pp, December 1991.

  17. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1990, Springer-Verlag, Workshops in Computing, pp 353-373, 1991. Also issued as a Oxford University Computing Laboratory Technical Report PRG-TR-5-91, 22pp, April 1991.

  18. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1989, Springer-Verlag, Workshops in Computing, pp 265-276, 1990.

  19. Concise Oxford Dictionary, 8th edition. Consultant for computing, mathematical and statistical terms, Oxford University Press, 1990.

  20. The Aliens' Guide to Oxford, Jonathan Bowen and Peter Breuer. Oxford University Computing Laboratory Technical Report PRG-TR-12-90, 27pp, June 1990.

  21. User Interface Languages: A survey of existing methods, Gregory Abowd, Jonathan Bowen (Oxford University) and Alan Dix, Michael Harrison and Roger Took (University of York). Oxford University Computing Laboratory Technical Report PRG-TR-5-89, 65pp, October 1989.

  22. Formal Specification of Window Systems, Oxford University Computing Laboratory Technical Monograph PRG-74, 88pp, June 1989.

  23. Proceedings of the Third Annual Z Users Meeting, Oxford University Computing Laboratory, Oxford University, 21pp, December 1988.

  24. Specifying System Implementations in Z, Jonathan Bowen, Roger Gimson and Stig Topp-Jørgensen. Oxford University Computing Laboratory Technical Monograph PRG-63, 88pp, February 1988. *

  25. Proceedings of Z Users Meeting, 1 Wellington Square, Oxford, Oxford University Computing Laboratory, Oxford University, 23pp, December 1987.

  26. The Specification of Network Services, Jonathan Bowen, Roger Gimson and Stig Topp-Jørgensen. Oxford University Computing Laboratory Technical Monograph PRG-61, 106pp, August 1987. *

  27. The Formal Specification of a Microprocessor Instruction Set. Oxford University Computing Laboratory Technical Monograph PRG-60, 72pp, January 1987.

  28. The Wolfson Microprocessor Research Support Unit, Documentation and Usage 1981-1984. Department of Computing, Imperial College, Technical Report DoC 84/25, 425pp, November 1984.

Last updated by Jonathan Bowen, 10 December 1999.