Skip to main content

Tony Hoare : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:conf/birthday/Hoare13,
  title = "Unifying Semantics for Concurrent Programming",
  author = "Tony Hoare",
  year = "2013",
  booktitle = "Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday",
  editor = "Bob Coecke and Luke Ong and Prakash Panangaden",
  pages = "139-149",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7860",
  doi = "10.1007/978-3-642-38164-5_10",
}
@inproceedings{DBLP:conf/birthday/Hoare13a,
  title = "Generic Models of the Laws of Programming",
  author = "Tony Hoare",
  year = "2013",
  booktitle = "Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday",
  editor = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",
  pages = "213-226",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8051",
  doi = "10.1007/978-3-642-39698-4_13",
}
@inproceedings{DBLP:conf/iccsw/Hoare13,
  title = "Laws of programming with concurrency (Invited Talk)",
  author = "Tony Hoare",
  year = "2013",
  booktitle = "2013 Imperial College Computing Student Workshop, ICCSW 2013, September 26/27, 2013, London, United Kingdom",
  editor = "Andrew V. Jones and Nicholas Ng",
  pages = "1-1",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",
  series = "OASICS",
  volume = "35",
  doi = "10.4230/OASIcs.ICCSW.2013.1",
}
@article{DBLP:journals/fac/HoareS12,
  title = "In praise of algebra",
  author = "Tony Hoare and Stephan van Staden",
  year = "2012",
  journal = "Formal Asp. Comput.",
  number = "4-6",
  pages = "423-431",
  volume = "24",
  doi = "10.1007/s00165-012-0249-0",
}
@inproceedings{DBLP:conf/apn/Hoare12,
  title = "Net Models for Concurrent Object Behaviour",
  author = "Tony Hoare",
  year = "2012",
  booktitle = "Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings",
  editor = "Serge Haddad and Lucia Pomello",
  pages = "1-2",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7347",
  doi = "10.1007/978-3-642-31131-4_1",
}
@inproceedings{DBLP:conf/fmcad/Hoare12,
  title = "Algebra of concurrent design",
  author = "Tony Hoare",
  year = "2012",
  booktitle = "Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012",
  editor = "Gianpiero Cabodi and Satnam Singh",
  pages = "5",
  publisher = "IEEE",
  url = "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462549",
}
@inproceedings{DBLP:conf/mpc/HoareS12,
  title = "The Laws of Programming Unify Process Calculi",
  author = "Tony Hoare and Stephan van Staden",
  year = "2012",
  booktitle = "Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings",
  editor = "Jeremy Gibbons and Pablo Nogueira",
  pages = "7-22",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7342",
  doi = "10.1007/978-3-642-31113-0_2",
}
@inproceedings{DBLP:conf/popl/Hoare12,
  title = "Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award",
  author = "Tony Hoare",
  year = "2012",
  booktitle = "Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012",
  editor = "John Field and Michael Hicks",
  pages = "3-6",
  publisher = "ACM",
  doi = "10.1145/2103656.2103659",
}
@inproceedings{DBLP:conf/utp/StadenH12,
  title = "Algebra Unifies Operational Calculi",
  author = "Stephan van Staden and Tony Hoare",
  year = "2012",
  booktitle = "Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers",
  editor = "Burkhart Wolff and Marie-Claude Gaudel and Abderrahmane Feliachi",
  pages = "88-104",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7681",
  doi = "10.1007/978-3-642-35705-3_4",
}
@book{DBLP:series/natosec/30,
  title = "Software and Systems Safety - Specification and Verification",
  year = "2011",
  booktitle = "Software and Systems Safety - Specification and Verification",
  editor = "Manfred Broy and Christian Leuxner and Tony Hoare",
  isbn = "978-1-60750-710-9",
  publisher = "IOS Press",
  series = "NATO Science for Peace and Security Series - D: Information and Communication Security",
  volume = "30",
  doi = "10.3233/978-1-60750-711-6",
}
@article{DBLP:journals/jlp/HoareMSW11,
  title = "Concurrent Kleene Algebra and its Foundations",
  author = "Tony Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman",
  year = "2011",
  journal = "J. Log. Algebr. Program.",
  number = "6",
  pages = "266-296",
  volume = "80",
  doi = "10.1016/j.jlap.2011.04.005",
}
@inproceedings{DBLP:conf/birthday/Hoare11,
  title = "Recovery Blocks",
  author = "Tony Hoare",
  year = "2011",
  booktitle = "Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday",
  editor = "Cliff B. Jones and John L. Lloyd",
  pages = "261-266",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6875",
  doi = "10.1007/978-3-642-24541-1_19",
}
@inproceedings{DBLP:conf/concur/HoareHMOPS11,
  title = "On Locality and the Exchange Law for Concurrent Processes",
  author = "C. A. R. Hoare and Akbar Hussain and Bernhard M{\"o}ller and Peter W. O'Hearn and Rasmus Lerchedahl Petersen and Georg Struth",
  year = "2011",
  booktitle = "CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings",
  editor = "Joost-Pieter Katoen and Barbara K{\"o}nig",
  pages = "250-264",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6901",
  doi = "10.1007/978-3-642-23217-6_17",
}
@incollection{DBLP:series/natosec/HoareW11,
  title = "Unifying Models of Data Flow",
  author = "Tony Hoare and John Wickerson",
  year = "2011",
  booktitle = "Software and Systems Safety - Specification and Verification",
  editor = "Manfred Broy and Christian Leuxner and Tony Hoare",
  pages = "211-230",
  publisher = "IOS Press",
  series = "NATO Science for Peace and Security Series - D: Information and Communication Security",
  volume = "30",
  doi = "10.3233/978-1-60750-711-6-211",
}
@article{DBLP:journals/concurrency/Hoare10,
  title = "Fine-grain concurrency",
  author = "Tony Hoare",
  year = "2010",
  journal = "Concurrency and Computation: Practice and Experience",
  number = "8",
  pages = "912-934",
  volume = "22",
  doi = "10.1002/cpe.1457",
}
@article{DBLP:journals/tcs/HeH10,
  title = "CSP is a retract of CCS",
  author = "Jifeng He and Tony Hoare",
  year = "2010",
  journal = "Theor. Comput. Sci.",
  number = "11-13",
  pages = "1311-1337",
  volume = "411",
  doi = "10.1016/j.tcs.2009.12.012",
}
@inproceedings{DBLP:conf/birthday/HoareS10,
  title = "Unraveling a Card Trick",
  author = "Tony Hoare and Natarajan Shankar",
  year = "2010",
  booktitle = "Time for Verification, Essays in Memory of Amir Pnueli",
  editor = "Zohar Manna and Doron Peled",
  pages = "195-201",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6200",
  doi = "10.1007/978-3-642-13754-9_10",
}
@inproceedings{DBLP:conf/sigsoft/LahiriVH10,
  title = "Differential static analysis: opportunities, applications, and challenges",
  author = "Shuvendu K. Lahiri and Kapil Vaswani and C. A. R. Hoare",
  year = "2010",
  booktitle = "Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010",
  editor = "Gruia-Catalin Roman and Kevin J. Sullivan",
  pages = "201-204",
  publisher = "ACM",
  doi = "10.1145/1882362.1882405",
}
@inproceedings{DBLP:conf/taicpart/Hoare10,
  title = "Testing and Proving, Hand-in-Hand",
  author = "Tony Hoare",
  year = "2010",
  booktitle = "Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings",
  editor = "Leonardo Bottaci and Gordon Fraser",
  pages = "5-6",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6303",
  doi = "10.1007/978-3-642-15585-7_2",
}
@article{DBLP:journals/cacm/Hoare09,
  title = "Viewpoint - Retrospective: an axiomatic basis for computer programming",
  author = "C. A. R. Hoare",
  year = "2009",
  journal = "Commun. ACM",
  number = "10",
  pages = "30-32",
  volume = "52",
  doi = "10.1145/1562764.1562779",
}
@article{DBLP:journals/csur/HoareM09,
  title = "Preface to special issue on software verification",
  author = "C. A. R. Hoare and Jayadev Misra",
  year = "2009",
  journal = "ACM Comput. Surv.",
  number = "4",
  volume = "41",
  doi = "10.1145/1592434.1592435",
}
@article{DBLP:journals/csur/HoareMLS09,
  title = "The verified software initiative: A manifesto",
  author = "C. A. R. Hoare and Jayadev Misra and Gary T. Leavens and Natarajan Shankar",
  year = "2009",
  journal = "ACM Comput. Surv.",
  number = "4",
  volume = "41",
  doi = "10.1145/1592434.1592439",
}
@article{DBLP:journals/ipl/WehrmanHO09,
  title = "Graphical models of separation logic",
  author = "Ian Wehrman and C. A. R. Hoare and Peter W. O'Hearn",
  year = "2009",
  journal = "Inf. Process. Lett.",
  number = "17",
  pages = "1001-1004",
  volume = "109",
  doi = "10.1016/j.ipl.2009.06.003",
}
@inproceedings{DBLP:conf/RelMiCS/HoareMSW09,
  title = "Foundations of Concurrent Kleene Algebra",
  author = "C. A. R. Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman",
  year = "2009",
  booktitle = "Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings",
  editor = "Rudolf Berghammer and Ali Jaoua and Bernhard M{\"o}ller",
  pages = "166-186",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5827",
  doi = "10.1007/978-3-642-04639-1_12",
}
@inproceedings{DBLP:conf/concur/HoareMSW09,
  title = "Concurrent Kleene Algebra",
  author = "C. A. R. Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman",
  year = "2009",
  booktitle = "CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings",
  editor = "Mario Bravetti and Gianluigi Zavattaro",
  pages = "399-414",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5710",
  doi = "10.1007/978-3-642-04081-8_27",
}
@article{DBLP:journals/entcs/Hoare08,
  title = "Verification of Fine-grain Concurrent Programs",
  author = "Tony Hoare",
  year = "2008",
  journal = "Electr. Notes Theor. Comput. Sci.",
  pages = "165-171",
  volume = "209",
  doi = "10.1016/j.entcs.2008.04.010",
}
@article{DBLP:journals/entcs/HoareO08,
  title = "Separation Logic Semantics for Communicating Processes",
  author = "Tony Hoare and Peter W. O'Hearn",
  year = "2008",
  journal = "Electr. Notes Theor. Comput. Sci.",
  pages = "3-25",
  volume = "212",
  doi = "10.1016/j.entcs.2008.04.050",
}
@inproceedings{DBLP:conf/bcs/Hoare08,
  title = "Keynote: A Vision for the Science of Computing",
  author = "Tony Hoare",
  year = "2008",
  booktitle = "Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008",
  editor = "Erol Gelenbe and Samson Abramsky and Vladimiro Sassone",
  pages = "1-29",
  publisher = "British Computer Society",
  url = "http://www.bcs.org/upload/pdf/keynote-hoare.pdf",
}
@inproceedings{DBLP:conf/iceccs/Hoare08,
  title = "Verified Software: Theories, Tools, Experiments",
  author = "Tony Hoare",
  year = "2008",
  booktitle = "13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland",
  pages = "3",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ICECCS.2008.42",
}
@inproceedings{DBLP:conf/laser/Hoare08,
  title = "Fine-Grain Concurrency",
  author = "Tony Hoare",
  year = "2008",
  booktitle = "Advanced Lectures on Software Engineering, LASER Summer School 2007/2008",
  editor = "Peter M{\"u}ller",
  pages = "1-20",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6029",
  doi = "10.1007/978-3-642-13010-6_1",
}
@inproceedings{DBLP:conf/laser/Hoare08a,
  title = "Compensable Transactions",
  author = "Tony Hoare",
  year = "2008",
  booktitle = "Advanced Lectures on Software Engineering, LASER Summer School 2007/2008",
  editor = "Peter M{\"u}ller",
  pages = "21-40",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6029",
  doi = "10.1007/978-3-642-13010-6_2",
}
@article{DBLP:journals/cj/Hoare07,
  title = "The Ideal of Program Correctness: {\it Third Computer Journal} Lecture",
  author = "Tony Hoare",
  year = "2007",
  journal = "Comput. J.",
  number = "3",
  pages = "254-260",
  volume = "50",
  doi = "10.1093/comjnl/bxl078",
}
@inproceedings{DBLP:conf/dsn/Hoare07,
  title = "Science and Engineering: A Collusion of Cultures",
  author = "Tony Hoare",
  year = "2007",
  booktitle = "The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings",
  pages = "2-9",
  publisher = "IEEE Computer Society",
  doi = "10.1109/DSN.2007.87",
}
@inproceedings{DBLP:conf/wotug/Hoare07,
  title = "Fine-grain Concurrency",
  author = "Tony Hoare",
  year = "2007",
  booktitle = "The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007",
  editor = "Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch",
  pages = "1-19",
  publisher = "IOS Press",
  series = "Concurrent Systems Engineering Series",
  url = "http://www.booksonline.iospress.nl/Content/View.aspx?piid=5963",
  volume = "65",
}
@unpublished{H2007:Fellowship,
  title = "Speech of Acceptance, Fellowship of the {C}omputer {H}istory {M}useum",
  author = "C. A. R. Hoare",
  year = "2007",
  note = "Word-processed manuscript",
}
@unpublished{H2006:Historic,
  title = "Historic documents",
  author = "C. A. R. Hoare",
  year = "2006",
  month = "oct",
  note = "Copies of six papers held in Computer History Museum, Mountain View; with preface",
}
@article{DBLP:journals/entcs/Hoare06,
  title = "Why ever CSP?",
  author = "Tony Hoare",
  year = "2006",
  journal = "Electr. Notes Theor. Comput. Sci.",
  pages = "209-215",
  volume = "162",
  doi = "10.1016/j.entcs.2006.01.031",
}
@article{DBLP:journals/expert/BeckertHHSGRTBR06,
  title = "Intelligent Systems and Formal Methods in Software Engineering",
  author = "Bernhard Beckert and Tony Hoare and Reiner H{\"a}hnle and Douglas R. Smith and Cordell Green and Silvio Ranise and Cesare Tinelli and Thomas Ball and Sriram K. Rajamani",
  year = "2006",
  journal = "IEEE Intelligent Systems",
  number = "6",
  pages = "71-81",
  volume = "21",
  doi = "10.1109/MIS.2006.117",
}
@article{DBLP:journals/fac/BicarreguiHW06,
  title = "The verified software repository: a step towards the verifying compiler",
  author = "Juan Bicarregui and C. A. R. Hoare and J. C. P. Woodcock",
  year = "2006",
  journal = "Formal Asp. Comput.",
  number = "2",
  pages = "143-151",
  volume = "18",
  doi = "10.1007/s00165-005-0079-4",
}
@inproceedings{DBLP:conf/acl2/Hoare06,
  title = "The ideal of verified software",
  author = "Tony Hoare",
  year = "2006",
  booktitle = "Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006",
  editor = "Panagiotis Manolios and Matthew Wilding",
  pages = "61-62",
  publisher = "ACM",
  doi = "10.1145/1217975.1217988",
}
@inproceedings{DBLP:conf/cav/Hoare06,
  title = "The Ideal of Verified Software",
  author = "Tony Hoare",
  year = "2006",
  booktitle = "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings",
  editor = "Thomas Ball and Robert B. Jones",
  pages = "5-16",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4144",
  doi = "10.1007/11817963_4",
}
@inproceedings{DBLP:conf/ppopp/VafeiadisHHS06,
  title = "Proving correctness of highly-concurrent linearisable objects",
  author = "Viktor Vafeiadis and Maurice Herlihy and Tony Hoare and Marc Shapiro",
  year = "2006",
  booktitle = "Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006",
  editor = "Josep Torrellas and Siddhartha Chatterjee",
  pages = "129-136",
  publisher = "ACM",
  doi = "10.1145/1122971.1122992",
}
@inproceedings{DBLP:conf/utp/HeH06,
  title = "CSP Is a Retract of CCS",
  author = "Jifeng He and C. A. R. Hoare",
  year = "2006",
  booktitle = "Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers",
  editor = "Steve Dunne and Bill Stoddart",
  pages = "38-62",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4010",
  doi = "10.1007/11768173_3",
}
@article{DBLP:journals/cj/HoareM05,
  title = "Grand Challenges for Computing Research",
  author = "Tony Hoare and Robin Milner",
  year = "2005",
  journal = "Comput. J.",
  number = "1",
  pages = "49-52",
  volume = "48",
  doi = "10.1093/comjnl/bxh065",
}
@inproceedings{DBLP:conf/concur/BruniBFHMM05,
  title = "Comparing Two Approaches to Compensable Flow Composition",
  author = "Roberto Bruni and Michael J. Butler and Carla Ferreira and C. A. R. Hoare and Hern{\'a}n C. Melgratti and Ugo Montanari",
  year = "2005",
  booktitle = "CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings",
  editor = "Mart\'{\i}n Abadi and Luca de Alfaro",
  pages = "383-397",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3653",
  doi = "10.1007/11539452_30",
}
@inproceedings{DBLP:conf/ictac/JifengH05,
  title = "Linking Theories of Concurrency",
  author = "Jifeng He and C. A. R. Hoare",
  year = "2005",
  booktitle = "Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings",
  editor = "Dang Van Hung and Martin Wirsing",
  pages = "303-317",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3722",
  doi = "10.1007/11560647_20",
}
@inproceedings{DBLP:conf/vmcai/Hoare05,
  title = "The Verifying Compiler, a Grand Challenge for Computing Research",
  author = "C. A. R. Hoare",
  year = "2005",
  booktitle = "Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings",
  editor = "Radhia Cousot",
  pages = "78-78",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3385",
  doi = "10.1007/978-3-540-30579-8_5",
}
@inproceedings{DBLP:conf/vstte/HoareM05,
  title = "Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project",
  author = "Tony Hoare and Jayadev Misra",
  year = "2005",
  booktitle = "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions",
  editor = "Bertrand Meyer and Jim Woodcock",
  pages = "1-18",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4171",
  doi = "10.1007/978-3-540-69149-5_1",
}
@article{H2004:All,
  title = "All in the Mind---but Not in the Software",
  author = "C. A. R. Hoare",
  year = "2004",
  journal = "Times Higher",
  month = "October 22",
  note = "Review of `What is Thought?", by Eric Baum",
}
@article{H2004:Fractional,
  title = "Fractional Shifts Produce Sweet Sound of Spheres",
  author = "C. A. R. Hoare",
  year = "2004",
  journal = "Times Higher",
  month = "May 14",
  note = "Review of `Music and Mathematics: from Pythagoras to Fractals', by Fauvel, Flood and Wilson",
}
@inproceedings{DBLP:conf/birthday/Hoare04a,
  title = "Process Algebra: A Unifying Approach",
  author = "C. A. R. Hoare",
  year = "2004",
  booktitle = "Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers",
  editor = "Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders",
  pages = "36-60",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3525",
  doi = "10.1007/11423348_3",
}
@inproceedings{DBLP:conf/birthday/Hoare04,
  title = "Towards the Verifying Compiler",
  author = "C. A. R. Hoare",
  year = "2004",
  booktitle = "From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl",
  editor = "Olaf Owe and Stein Krogdahl and Tom Lyche",
  pages = "124-136",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2635",
  doi = "10.1007/978-3-540-39993-3_8",
}
@inproceedings{DBLP:conf/birthday/ButlerHF04,
  title = "A Trace Semantics for Long-Running Transactions",
  author = "Michael J. Butler and C. A. R. Hoare and Carla Ferreira",
  year = "2004",
  booktitle = "Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers",
  editor = "Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders",
  pages = "133-150",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3525",
  doi = "10.1007/11423348_8",
}
@inproceedings{DBLP:conf/cav/FournetHRR04,
  title = "Stuck-Free Conformance",
  author = "C{\'e}dric Fournet and C. A. R. Hoare and Sriram K. Rajamani and Jakob Rehof",
  year = "2004",
  booktitle = "Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings",
  editor = "Rajeev Alur and Doron Peled",
  pages = "242-254",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3114",
  doi = "10.1007/978-3-540-27813-9_19",
}
@unpublished{He*2003:Equating,
  title = "Equating Simulation with Refinement",
  author = "Jifeng He and Tony Hoare and Cedric Fournet and Paul Gardiner and Sriram Rajamani and Jakob Rehof and Bill Roscoe",
  year = "2003",
  month = "nov",
  note = "LaTeXed manuscript",
}
@article{DBLP:journals/annals/Hoare03,
  title = "Assertions: A Personal Perspective",
  author = "C. A. R. Hoare",
  year = "2003",
  journal = "IEEE Annals of the History of Computing",
  number = "2",
  pages = "14-25",
  volume = "25",
  doi = "10.1109/MAHC.2003.1203056",
}
@article{DBLP:journals/jacm/Hoare03,
  title = "The verifying compiler: A grand challenge for computing research",
  author = "C. A. R. Hoare",
  year = "2003",
  journal = "J. ACM",
  number = "1",
  pages = "63-69",
  volume = "50",
  doi = "10.1145/602382.602403",
}
@article{H2003:Shortcut,
  title = "Review of `{A} Shortcut through Time'",
  author = "C. A. R. Hoare",
  year = "2003",
  journal = "The Times Higher",
  month = "September 26",
}
@article{H2003:Behind,
  title = "Review of `{B}ehind Deep Blue'",
  author = "C. A. R. Hoare",
  year = "2003",
  journal = "The Times Higher",
  month = "February 7",
}
@inproceedings{DBLP:conf/cc/Hoare03,
  title = "The Verifying Compiler: A Grand Challenge for Computing Research",
  author = "C. A. R. Hoare",
  year = "2003",
  booktitle = "Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings",
  editor = "G{\"o}rel Hedin",
  pages = "262-272",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2622",
  doi = "10.1007/3-540-36579-6_19",
}
@inproceedings{DBLP:conf/ershov/Hoare03,
  title = "The Verifying Compiler: A Grand Challenge for Computing Research",
  author = "C. A. R. Hoare",
  year = "2003",
  booktitle = "Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers",
  editor = "Manfred Broy and Alexandre V. Zamulin",
  pages = "1-12",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2890",
  doi = "10.1007/978-3-540-39866-0_1",
}
@inproceedings{DBLP:conf/europar/Hoare03,
  title = "The Verifying Compiler: A Grand Challenge for Computing Research",
  author = "C. A. R. Hoare",
  year = "2003",
  booktitle = "Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings",
  editor = "Harald Kosch and L{\'a}szl{\'o} B{\"o}sz{\"o}rm{\'e}nyi and Hermann Hellwagner",
  pages = "1",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2790",
  doi = "10.1007/978-3-540-45209-6_1",
}
@inproceedings{DBLP:conf/jmlc/Hoare03,
  title = "The Verifying Compiler: A Grand Challange for Computing Research",
  author = "C. A. R. Hoare",
  year = "2003",
  booktitle = "Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings",
  editor = "L{\'a}szl{\'o} B{\"o}sz{\"o}rm{\'e}nyi and Peter Schojer",
  pages = "25-35",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2789",
  doi = "10.1007/978-3-540-45213-3_4",
}
@unpublished{H2003:Semantics,
  title = "A Semantics of Compensations for Long-Running Transactions",
  author = "C. A. R. Hoare",
  year = "2003",
  month = "June 20",
  note = "Word-processed manuscript",
}
@unpublished{H2003:Verifying,
  title = "The Verifying Compiler: A Grand Challenge for Computing Research",
  author = "C. A. R. Hoare",
  year = "2003",
  month = "July 15",
  note = "Slides",
}
@misc{Grand,
  title = "Bundle of materials about {UKCRC} {G}rand {C}hallenges",
  author = "C. A. R. Hoare and others",
  year = "2002--2004",
}
@unpublished{H2002:Assertions,
  title = "Assertions in Programming: From Scientific Theory to Engineering Practice",
  author = "C. A. R. Hoare",
  year = "2002",
  month = "apr",
  note = "Slides and notes for talk",
}
@unpublished{H2002:Why,
  title = "Why Don't Best Practices Get Adopted?",
  author = "C. A. R. Hoare",
  year = "2002",
  month = "mar",
  note = "Email thread",
}
@unpublished{H2002:Assert,
  title = "Assert Early, Assert Often",
  author = "C. A. R. Hoare",
  year = "2002",
  month = "feb",
  note = "Notes on slides from Microsoft TechFest; slides online at \url{http://research.microsoft.com/en-us/people/thoare/assertearlyassertoften.ppt}",
}
@unpublished{Pincus&Hoare2002:Tools,
  title = "Tools and Technology for Trusted Code",
  author = "Jon Pincus and C. A. R. Hoare",
  year = "2002",
  month = "feb",
  note = "Annotated draft",
}
@article{DBLP:journals/cacm/BoyerFGHMMR02,
  title = "In memoriam: Edsger W. Dijkstra 1930-2002",
  author = "Robert S. Boyer and W. H. J. Feijen and David Gries and C. A. R. Hoare and Jayadev Misra and J. Moore and H. Richards",
  year = "2002",
  journal = "Commun. ACM",
  number = "10",
  pages = "21-22",
  volume = "45",
}
@article{H2002:Conversations,
  title = "Review of `{C}onversations with a Mathematician'",
  author = "C. A. R. Hoare",
  year = "2002",
  journal = "The Times Higher",
  month = "March 15",
}
@inproceedings{DBLP:conf/compsac/Hoare02,
  title = "Assertions in Modern Software Engineering Practice",
  author = "C. A. R. Hoare",
  year = "2002",
  booktitle = "26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings",
  pages = "459-462",
  publisher = "IEEE Computer Society",
}
@inproceedings{DBLP:conf/software/Hoare02,
  title = "Assertions in Programming: From Scientific Theory to Engineering Practice",
  author = "C. A. R. Hoare",
  year = "2002",
  booktitle = "Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002, Proceedings",
  editor = "David W. Bustard and Weiru Liu and Roy Sterritt",
  pages = "350-351",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2311",
  doi = "10.1007/3-540-46019-5_27",
}
@inproceedings{DBLP:conf/unu/Hoare02,
  title = "Towards the Verifying Compiler",
  author = "C. A. R. Hoare",
  year = "2002",
  booktitle = "Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers",
  editor = "Bernhard K. Aichernig and T. S. E. Maibaum",
  pages = "151-160",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2757",
  doi = "10.1007/978-3-540-40007-3_10",
}
@article{DBLP:journals/ipl/Hoare01,
  title = "Legacy",
  author = "C. A. R. Hoare",
  year = "2001",
  journal = "Inf. Process. Lett.",
  number = "2-4",
  pages = "123-129",
  volume = "77",
  doi = "10.1016/S0020-0190(00)00209-X",
}
@article{H2001:Assertions,
  title = "Assertions: A Personal Perspective",
  author = "C. A. R. Hoare",
  year = "2001",
  journal = "Computer Software",
  note = "Reprint of Kyoto Prize lecture",
  number = "4",
  pages = "2-17",
  volume = "18",
}
@inproceedings{DBLP:conf/tools/Hoare01,
  title = "Growing Use of Assertions",
  author = "C. A. R. Hoare",
  year = "2001",
  booktitle = "TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing, Zurich, Switzerland, 12-14 March 2001",
  pages = "3",
  publisher = "IEEE Computer Society",
  doi = "10.1109/TOOLS.2001.10005",
}
@unpublished{H2000:Kyoto,
  title = "Kyoto Prize acceptance speech and biographical notes",
  author = "C. A. R. Hoare",
  year = "2000",
  month = "jul",
  note = "Various drafts, including an 11-page long version. The eventual talk was quite different---took care to make favourable mention to all previous winners (Quine, McCarthy, Knuth, Wilkes, Popper).",
}
@unpublished{H*2000:Normal,
  title = "Normal Forms for Synchronous and Asynchronous Process Calculi",
  author = "Tony Hoare and Cedric Fournet and Silvano dal Zilio",
  year = "2000",
  month = "mar",
  note = "Various drafts of a discussion paper",
}
@article{DBLP:journals/lisp/Hoare00,
  title = "A Hard Act to Follow",
  author = "C. A. R. Hoare",
  year = "2000",
  journal = "Higher-Order and Symbolic Computation",
  number = "1/2",
  pages = "71-72",
  volume = "13",
  doi = "10.1023/A:1010053724918",
}
@inproceedings{DBLP:conf/apsec/HeH00,
  title = "Unifying theories of healthiness condition",
  author = "Jifeng He and C. A. R. Hoare",
  year = "2000",
  booktitle = "7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore",
  pages = "70-",
  publisher = "IEEE Computer Society",
  doi = "10.1109/APSEC.2000.896685",
}
@inproceedings{DBLP:conf/birthday/HoareJS00,
  title = "Algebraic derivation of an operational semantics",
  author = "C. A. R. Hoare and Jifeng He and Augusto Sampaio",
  year = "2000",
  booktitle = "Proof, Language, and Interaction, Essays in Honour of Robin Milner",
  editor = "Gordon D. Plotkin and Colin Stirling and Mads Tofte",
  pages = "77-98",
  publisher = "The MIT Press",
}
@inproceedings{DBLP:conf/icfem/Hoare00,
  title = "Legacy Code",
  author = "C. A. R. Hoare",
  year = "2000",
  booktitle = "ICFEM",
  pages = "75",
  url = "http://computer.org/proceedings/icfem/0822/08220075.pdf",
}
@inproceedings{DBLP:conf/ifm/Hoare00,
  title = "Assertions",
  author = "C. A. R. Hoare",
  year = "2000",
  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",
  pages = "1-2",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1945",
  doi = "10.1007/3-540-40911-4_1",
}
@unpublished{H2000:Purely,
  title = "Purely Functional Non-determinism",
  author = "C. A. R. Hoare",
  year = "2000",
  month = "April 13",
  note = "Typed manuscript",
}
@unpublished{H99:Linking,
  title = "Linking {Z} and {CSP}",
  author = "C. A. R. Hoare",
  year = "1999",
  month = "Summer",
  note = "Typed description of internal course given in Oxford",
}
@unpublished{H99:Theories,
  title = "Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle",
  author = "C. A. R. Hoare",
  year = "1999",
  month = "mar",
  note = "LaTeXed manuscript",
}
@article{DBLP:journals/isci/JifengH99,
  title = "Linking Theories in Probabilistic Programming",
  author = "Jifeng He and C. A. R. Hoare",
  year = "1999",
  journal = "Inf. Sci.",
  number = "3-4",
  pages = "205-218",
  volume = "119",
  doi = "10.1016/S0020-0255(99)00015-8",
}
@inproceedings{DBLP:conf/birthday/Hoare99,
  title = "Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle",
  author = "C. A. R. Hoare",
  year = "1999",
  booktitle = "Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)",
  editor = "Ernst-R{\"u}diger Olderog and Bernhard Steffen",
  pages = "3-28",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1710",
  doi = "10.1007/3-540-48092-7_1",
}
@inproceedings{DBLP:conf/ecoop/HoareJ99,
  title = "A Trace Model for Pointers and Objects",
  author = "C. A. R. Hoare and Jifeng He",
  year = "1999",
  booktitle = "ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings",
  editor = "Rachid Guerraoui",
  pages = "1-17",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1628",
  doi = "10.1007/3-540-48743-3_1",
}
@inproceedings{DBLP:conf/fm/Hoare99,
  title = "Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle",
  author = "C. A. R. Hoare",
  year = "1999",
  booktitle = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I",
  editor = "Jeannette M. Wing and Jim Woodcock and Jim Davies",
  pages = "1-27",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1708",
  doi = "10.1007/3-540-48119-2_1",
}
@inproceedings{DBLP:conf/iclp/SeresSH99,
  title = "Algebra of Logic Programming",
  author = "Silvija Seres and J. Michael Spivey and C. A. R. Hoare",
  year = "1999",
  booktitle = "Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999",
  editor = "Danny De Schreye",
  pages = "184-199",
  publisher = "MIT Press",
}
@inproceedings{DBLP:conf/pldi/JonesRHHM99,
  title = "A Semantics for Imprecise Exceptions",
  author = "Simon L. Peyton Jones and Alastair Reid and Fergus Henderson and C. A. R. Hoare and Simon Marlow",
  year = "1999",
  booktitle = "Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999",
  editor = "Barbara G. Ryder and Benjamin G. Zorn",
  pages = "25-36",
  publisher = "ACM",
}
@inproceedings{Seres*99:Algebra,
  title = "Algebra of Logic Programming",
  author = "Silvija Seres and J. Michael Spivey and C. A. R. Hoare",
  year = "1999",
  booktitle = "International Conference on Logic Programming",
  pages = "184-199",
}
@unpublished{Seres*99:Logic,
  title = "The Logic of Procedural Readings",
  author = "Silvija Seres and Michael Spivey and Tony Hoare",
  year = "1999",
  note = "LaTeXed submission to FLOPS'99; eventually appeared as `Functional Reading of Logic Programs', Seres and Spivey, J.UCS 6(4) (2000), doi 10.3217/jucs-006-04-0433",
}
@inproceedings{DBLP:conf/RelMiCS/JifengH98,
  title = "Unifying theories of programming",
  author = "Jifeng He and C. A. R. Hoare",
  year = "1998",
  booktitle = "Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998",
  editor = "Ewa Orlowska and Andrzej Szalas",
  pages = "97-99",
}
@inproceedings{DBLP:conf/europar/HoareH97,
  title = "Unifying Theories for Parallel Programming",
  author = "C. A. R. Hoare and Jifeng He",
  year = "1997",
  booktitle = "Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings",
  editor = "Christian Lengauer and Martin Griebl and Sergei Gorlatch",
  pages = "15-30",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1300",
  doi = "10.1007/BFb0002714",
}
@unpublished{H97:Linking,
  title = "Linking Theories in Computing Science",
  author = "C. A. R. Hoare",
  year = "1997",
  month = "September 7",
  note = "LaTeXed manuscript",
}
@unpublished{Bowen*96:ProCoS,
  title = "A {ProCoS-WG} Working Group Final Report: {ESPRIT} Working Group 8694",
  author = "Jonathan Bowen and C. A. R. Hoare and Hans Langmaack and Ernst-R\"udiger Olderog and Anders P. Ravn",
  year = "1996?",
  note = "LaTeXed draft",
}
@unpublished{H96:Algebra,
  title = "An Algebra For Games of Chance",
  author = "C. A. R. Hoare",
  year = "1996",
  month = "apr",
  note = "LaTeXed manuscript",
}
@article{DBLP:journals/csur/Hoare96,
  title = "Unifying Theories : A Personal Statement",
  author = "C. A. R. Hoare",
  year = "1996",
  journal = "ACM Comput. Surv.",
  number = "4es",
  pages = "46",
  volume = "28",
  doi = "10.1145/242224.242282",
}
@article{DBLP:journals/jsa/Hoare96,
  title = "The logic of engineering design",
  author = "C. A. R. Hoare",
  year = "1996",
  journal = "Microprocessing and Microprogramming",
  number = "8-9",
  pages = "525-539",
  volume = "41",
  doi = "10.1016/0165-6074(96)00009-9",
}
@inproceedings{DBLP:conf/fm/Hoare96,
  title = "How Did Software Get So Reliable Without Proof?",
  author = "C. A. R. Hoare",
  year = "1996",
  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 = "Marie-Claude Gaudel and Jim Woodcock",
  pages = "1-17",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1051",
  doi = "10.1007/3-540-60973-3_77",
}
@inproceedings{DBLP:conf/icse/Hoare96,
  title = "The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)",
  author = "C. A. R. Hoare",
  year = "1996",
  booktitle = "18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings",
  editor = "H. Dieter Rombach and T. S. E. Maibaum and Marvin V. Zelkowitz",
  pages = "233-234",
  publisher = "IEEE Computer Society",
  url = "http://portal.acm.org/citation.cfm?id=227726.227765",
}
@inproceedings{DBLP:conf/nato/Hoare96,
  title = "Mathematical models for computing science",
  author = "C. A. R. Hoare",
  year = "1996",
  booktitle = "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany",
  editor = "Manfred Broy",
  pages = "115-164",
}
@unpublished{Lucas96:Thankyou,
  title = "Thank-you letter to {CARH} for after-dinner speech at his retirement dinner at {M}erton",
  author = "John R. Lucas",
  year = "1996",
  month = "June 16",
  note = "Handwritten. CARH was briefly his philosophy tutee at Merton in 1956",
}
@unpublished{Sintzoff96:Algebra,
  title = "Comments on `{A}n Algebra for Games of Chance'",
  author = "Michel Sintzoff",
  year = "1996",
  month = "June 5",
  note = "Letter to CARH",
}
@unpublished{H95:Some,
  title = "Some Properties of the Relative Converse",
  author = "C. A. R. Hoare",
  year = "1995",
  month = "mar",
  note = "Handwritten manuscript",
}
@unpublished{H95:Two,
  title = "Two-Categorical Models of Parallelism",
  author = "C. A. R. Hoare",
  year = "1995",
  month = "feb",
  note = "LaTeXed manuscript",
}
@article{DBLP:journals/ipl/KargerH95,
  title = "Sequential Calculus",
  author = "Burghard von Karger and C. A. R. Hoare",
  year = "1995",
  journal = "Inf. Process. Lett.",
  number = "3",
  pages = "123-130",
  volume = "53",
  doi = "10.1016/0020-0190(94)00205-D",
}
@inproceedings{DBLP:conf/compass/Hoare95,
  title = "Unification of Theories: A Challenge for Computing Science",
  author = "C. A. R. Hoare",
  year = "1995",
  booktitle = "Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers",
  editor = "Magne Haveraaen and Olaf Owe and Ole-Johan Dahl",
  pages = "49-57",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1130",
  doi = "10.1007/3-540-61629-2_35",
}
@unpublished{H95:Satisfiability,
  title = "Satisfiability",
  author = "C. A. R. Hoare",
  year = "1995",
  month = "May 10 Wednesday",
  note = "Handwritten manuscript, with response from Bryan Todd",
}
@unpublished{H95:Ideal,
  title = "An Ideal of Software Engineering",
  author = "C. A. R. Hoare",
  year = "1995",
  month = "sep 1",
  note = "LaTeXed manuscript",
}
@unpublished{vonKarger95:Shift,
  title = "Shift Axioms",
  author = "Burghard von Karger",
  year = "1995",
  month = "April 3",
  note = "Letter to CARH",
}
@unpublished{H95:Fragment,
  title = "A Fragment of Graph Theory",
  author = "C. A. R. Hoare",
  year = "1994/5",
  note = "Handwritten and LaTeXed manuscript",
}
@unpublished{H94:Mathematical,
  title = "Mathematical Models for Computing Science",
  author = "C. A. R. Hoare",
  year = "1994",
  month = "aug",
  note = "LaTeXed notes for Marktoberdorf Summer School",
}
@unpublished{H94:Prefaces,
  title = "Prefaces to four papers",
  author = "C. A. R. Hoare",
  year = "1994",
  month = "feb",
  note = "LaTeXed manuscripts",
}
@unpublished{H94:Reviews,
  title = "Reviews of contributions to `{A} {C}lassical {M}ind'",
  author = "C. A. R. Hoare",
  year = "1994",
  month = "jan",
  note = "Handwritten letters",
}
@article{H94:Editorial,
  title = "Editorial",
  author = "C. A. R. Hoare",
  year = "1994",
  journal = "J. Log. Comput.",
  number = "3",
  pages = "215-216",
  volume = "4",
  doi = "10.1093/logcom/4.3.215",
}
@inproceedings{DBLP:conf/ftrtft/JifengHFMOSHRR94,
  title = "Provably Correct Systems",
  author = "Jifeng He and C. A. R. Hoare and Martin Fr{\"a}nzle and Markus M{\"u}ller-Olm and Ernst-R{\"u}diger Olderog and Michael Schenke and Michael R. Hansen and Anders P. Ravn and Hans Rischel",
  year = "1994",
  booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, L{\"u}beck, Germany, September 19-23, Proceedings",
  editor = "Hans Langmaack and Willem P. de Roever and Jan Vytopil",
  pages = "288-335",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "863",
  doi = "10.1007/3-540-58468-4_171",
}
@inproceedings{DBLP:conf/plsa/HoareP94,
  title = "Hardware and Software: The Closing Gap",
  author = "C. A. R. Hoare and Ian Page",
  year = "1994",
  booktitle = "Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings",
  editor = "J{\"u}rg Gutknecht",
  pages = "49-68",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "782",
  doi = "10.1007/3-540-57840-4_24",
}
@unpublished{vonKarger94:Sequential,
  title = "Sequential Calculus",
  author = "Burghard von Karger",
  year = "1994",
  month = "May -- October",
  note = "Correspondence about `{S}equential Calculus' paper (IPL 53(3):123-130, 1995, doi 10.1016/0020-0190(94)00205-D",
}
@unpublished{H94:Unified,
  title = "Unified Theories of Programming",
  author = "C. A. R. Hoare",
  year = "1994",
  month = "July 21",
  note = "LaTeXed manuscript",
}
@unpublished{Hoare*93?:From,
  title = "From Algebra to Operational Semantics",
  author = "C. A. R. Hoare and Jifeng He and Augusto Sampaio",
  year = "1993?",
  note = "Longer version of paper in IPL 45(2):75--80, 1993, doi 10.1016/0020-0190(93)90219-Y; undated",
}
@unpublished{H93:Models,
  title = "Models and Algebra",
  author = "C. A. R. Hoare",
  year = "1993",
  month = "jul",
  note = "LaTeXed manuscript",
}
@article{H93:Parallel,
  title = "Parallel Processing: Theoretical Foundations",
  author = "C. A. R. Hoare",
  year = "1993",
  journal = "Oxford Innovation News",
  month = "Winter",
  number = "8",
}
@article{DBLP:journals/acta/HoareHS93,
  title = "Normal Form Approach to Compiler Design",
  author = "C. A. R. Hoare and Jifeng He and Augusto Sampaio",
  year = "1993",
  journal = "Acta Inf.",
  number = "8",
  pages = "701-739",
  volume = "30",
  doi = "10.1007/BF01191809",
}
@article{DBLP:journals/ipl/JifengH93,
  title = "From Algebra to Operational Semantics",
  author = "Jifeng He and C. A. R. Hoare",
  year = "1993",
  journal = "Inf. Process. Lett.",
  number = "2",
  pages = "75-80",
  volume = "45",
  doi = "10.1016/0020-0190(93)90219-Y",
}
@inproceedings{DBLP:conf/sigsoft/Hoare93,
  title = "Algebra and Models",
  author = "C. A. R. Hoare",
  year = "1993",
  booktitle = "SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, Los Angeles, California, USA, December 7-10, 1993",
  editor = "David Notkin",
  pages = "1-8",
  publisher = "ACM",
  doi = "10.1145/256428.167053",
}
@unpublished{H93:Software,
  title = "Software: Barrier or Frontier?",
  author = "C. A. R. Hoare",
  year = "1993",
  month = "October 15",
  note = "LaTeXed draft, ``for a telecomms conference in Japan''",
}
@unpublished{H93:Theory,
  title = "A Theory of Programming: Denotational, Algebraic, and Operational Semantics",
  author = "C. A. R. Hoare",
  year = "1993",
  month = "March 31",
  note = "LaTeXed manuscript",
}
@unpublished{H93:Discussion,
  title = "Discussion of Research Policy",
  author = "C. A. R. Hoare",
  year = "1993",
  month = "January 19",
  note = "Typed manuscript",
}
@inproceedings{H92:Programs,
  title = "Programs are Predicates",
  author = "C. A. R. Hoare",
  year = "1992",
  booktitle = "Fifth Generation Computer Systems",
  month = "jun",
  note = "Slides",
  pages = "211-218",
}
@article{DBLP:journals/fmsd/ChaochenH92,
  title = "A Model for Synchronous Switching Circuits and its Theory of Correctness",
  author = "Zhou Chaochen and C. A. R. Hoare",
  year = "1992",
  journal = "Formal Methods in System Design",
  number = "1",
  pages = "7-28",
  volume = "1",
  doi = "10.1007/BF00464355",
}
@inproceedings{DBLP:conf/fgcs/Hoare92,
  title = "Programs are Predicates",
  author = "C. A. R. Hoare",
  year = "1992",
  booktitle = "FGCS",
  pages = "211-218",
}
@unpublished{H92:Busy,
  title = "Busy Time and Idle Time",
  author = "C. A. R. Hoare",
  year = "1992",
  month = "December 8",
  note = "LaTeXed manuscript",
}
@unpublished{H92:Collaboration,
  title = "Collaboration between {IBM}, {H}ursley and {PRG}, {O}xford",
  author = "C. A. R. Hoare",
  year = "1992",
  note = "Slides for talk about CICS project in Japan, alongside trip to Fifth Generation Computer Systems conference",
}
@article{DBLP:journals/concurrency/Hoare91,
  title = "The transputer and occam: A personal story",
  author = "C. A. R. Hoare",
  year = "1991",
  journal = "Concurrency - Practice and Experience",
  number = "4",
  pages = "249-264",
  volume = "3",
  doi = "10.1002/cpe.4330030403",
}
@article{DBLP:journals/ipl/ChaochenHR91,
  title = "A Calculus of Durations",
  author = "Zhou Chaochen and C. A. R. Hoare and Anders P. Ravn",
  year = "1991",
  journal = "Inf. Process. Lett.",
  number = "5",
  pages = "269-276",
  volume = "40",
  doi = "10.1016/0020-0190(91)90122-X",
}
@article{DBLP:journals/mscs/MartinHJ91,
  title = "Pre-Adjunctions in Order Enriched Categories",
  author = "C. E. Martin and C. A. R. Hoare and Jifeng He",
  year = "1991",
  journal = "Mathematical Structures in Computer Science",
  number = "2",
  pages = "141-158",
  volume = "1",
  doi = "10.1017/S0960129500001262",
}
@article{DBLP:journals/tcs/Hoare91,
  title = "A Theory for the Derivation of Combinational C-MOS Circuit Designs",
  author = "C. A. R. Hoare",
  year = "1991",
  journal = "Theor. Comput. Sci.",
  number = "1",
  pages = "235-251",
  volume = "90",
  doi = "10.1016/0304-3975(91)90309-P",
}
@article{DBLP:journals/ipl/Hoare90,
  title = "Fixed Points of Increasing Functions",
  author = "C. A. R. Hoare",
  year = "1990",
  journal = "Inf. Process. Lett.",
  number = "3",
  pages = "111-112",
  volume = "34",
  doi = "10.1016/0020-0190(90)90087-E",
}
@inproceedings{DBLP:conf/concur/Hoare90,
  title = "Let's Make Models (Abstract)",
  author = "C. A. R. Hoare",
  year = "1990",
  booktitle = "CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings",
  editor = "Jos C. M. Baeten and Jan Willem Klop",
  pages = "32",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "458",
  doi = "10.1007/BFb0039049",
}
@inproceedings{DBLP:conf/parbase/Hoare90,
  title = "A Theory of Conjunction and Concurrency",
  author = "C. A. R. Hoare",
  year = "1990",
  booktitle = "PARBASE / Architectures",
  pages = "18-30",
}
@proceedings{DBLP:conf/fm/1990,
  title = "VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings",
  year = "1990",
  booktitle = "VDM Europe",
  editor = "Dines Bj{\o}rner and C. A. R. Hoare and Hans Langmaack",
  isbn = "3-540-52513-0",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "428",
}
@unpublished{H90:Queens,
  title = "Queen's {A}ward Presentation",
  author = "C. A. R. Hoare",
  year = "1990",
  month = "jun 1st",
  note = "Typed manuscript",
}
@unpublished{He*90:Theory,
  title = "A Theory of Synchrony and Asynchrony",
  author = "Jifeng He and M. B. Josephs and C. A. R. Hoare",
  year = "1990",
  month = "feb 6",
  note = "LaTeXed manuscript",
}
@unpublished{H8?:Does,
  title = "Does It Always Have to Be So Complicated?",
  author = "C. A. R. Hoare",
  year = "198?",
  note = "Typed manuscript, undated",
}
@unpublished{H89:Theory,
  title = "A Theory of Conjunction and Concurrency",
  author = "C. A. R. Hoare",
  year = "1989",
  month = "may",
  note = "LaTeXed draft, appeared in \textit{A postconference publication based upon the proceedings of PARBASE-90, the First International Conference on Databases, Parallel Architectures and their Applications}, IEEE-CS 1991",
}
@inproceedings{DBLP:conf/mfps/JifengH89,
  title = "Categorical Semantics for Programming Languages",
  author = "Jifeng He and C. A. R. Hoare",
  year = "1989",
  booktitle = "Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings",
  editor = "Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt",
  pages = "402-417",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "442",
  doi = "10.1007/BFb0040271",
}
@inproceedings{DBLP:conf/tapsoft/Hoare89,
  title = "The Varieties of Programming Language",
  author = "C. A. R. Hoare",
  year = "1989",
  booktitle = "TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89)",
  editor = "Josep D\'{\i}az and Fernando Orejas",
  pages = "1-18",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "351",
  doi = "10.1007/3-540-50939-9_121",
}
@unpublished{Josephs*89:Theory,
  title = "A Theory of Asynchronous Processes",
  author = "Mark Josephs and C. A. R. Hoare and Jifeng He",
  year = "1989",
  month = "February 11",
  note = "LaTeXed manuscript, with comments from Jan Udding and Tom Verhoeff; eventually appeared as `A Theory of Synchrony and Asynchrony', \textit{Programming Concepts and Methods}, IFIP 1990",
}
@unpublished{H88:Category,
  title = "Category Theory",
  author = "C. A. R. Hoare",
  year = "1988?",
  note = "Handwritten draft of slides for Marktoberdorf school",
}
@article{DBLP:journals/tcs/RoscoeH88,
  title = "The Laws of Occam Programming",
  author = "A. W. Roscoe and C. A. R. Hoare",
  year = "1988",
  journal = "Theor. Comput. Sci.",
  pages = "177-229",
  volume = "60",
  doi = "10.1016/0304-3975(88)90049-7",
}
@inproceedings{DBLP:conf/lics/HoareG88,
  title = "Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic",
  author = "C. A. R. Hoare and Michael J. C. Gordon",
  year = "1988",
  booktitle = "Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988",
  pages = "28-36",
  publisher = "IEEE Computer Society",
  doi = "10.1109/LICS.1988.5098",
}
@unpublished{H88:Proposed,
  title = "A Proposed Protection Scheme",
  author = "C. A. R. Hoare",
  year = "1988",
  note = "Handwritten manuscript, proposal to `Research Task Force'",
}
@unpublished{H88:Calculus,
  title = "A Calculus for the Derivation of {C-MOS} Switching Circuits",
  author = "C. A. R. Hoare",
  year = "1988",
  month = "April -- October",
  note = "Two drafts; appeared as `A Theory for the Derivation of Combinational {C-MOS} Circuit Designs', \textit{Theoretical Computer Science} 90:235--251, 1991, doi 10.1016/0304-3975(91)90309-P",
}
@unpublished{H&He88:Natural,
  title = "Natural Transformations and Data Refinement",
  author = "C. A. R. Hoare and Jifeng He",
  year = "1988",
  month = "July 29",
  note = "LaTeXed draft",
}
@article{Hoare87a,
  title = "An Overview of Some Formal Methods for Program Design",
  author = "C.A.R. Hoare",
  year = "1987",
  journal = "IEEE Computer Journal",
  month = "September",
  number = "9",
  pages = "85--91",
  volume = "20",
}
@article{Hoare87m,
  title = "The Laws of Programming",
  author = "C.A.R. Hoare and I.J. Hayes and He Jifeng and C.C. Morgan and A.W. Roscoe and J.W. Sanders and I.H. S\o rensen and J.M. Spivey and B.A. Sufrin",
  year = "1987",
  journal = "Communications of the ACM",
  month = "August",
  note = "see Corrigenda in Communications of the ACM, 30(9): 770",
  number = "8",
  pages = "672--687",
  volume = "30",
}
@unpublished{H87:Preface,
  title = "Preface to {U}nity book by {M}isra and {C}handy",
  author = "C. A. R. Hoare",
  year = "1987",
  month = "aug",
  note = "Typed manuscript",
}
@unpublished{H87:Towards,
  title = "Towards a Calculus of Total Correctness for the Design of {C-MOS} Switching Circuits",
  author = "C. A. R. Hoare",
  year = "1987",
  month = "aug",
  note = "Typed manuscript",
}
@unpublished{H87a:Data,
  title = "Data Refinement in a Categorical Setting",
  author = "C. A. R. Hoare",
  year = "1987",
  month = "jun",
  note = "Typed manuscript",
}
@article{Hoare86b,
  title = "Prespecification in Data Refinement",
  author = "C.A.R. Hoare and Jifeng He and J.W. Sanders",
  year = "1987",
  journal = "Information Processing Letters",
  month = "May",
  number = "2",
  pages = "71--76",
  volume = "25",
}
@unpublished{H87:Introduction,
  title = "Introduction to Domain Theory",
  author = "C. A. R. Hoare",
  year = "1987",
  month = "mar",
  note = "Typed manuscript and accompanying slides, ``written on sabbatical in Austin, Texas; never submitted''",
}
@unpublished{H87b:Data,
  title = "Data Refinement in a Categorical Setting",
  author = "C. A. R. Hoare",
  year = "1987",
  month = "oct",
  note = "Handwritten manuscript",
}
@article{Hoare87ii,
  title = "The Weakest Prespecification",
  author = "C.A.R. Hoare and J. He",
  year = "1987",
  journal = "Information Processing Letters",
  month = "January",
  number = "2",
  pages = "127--32",
  volume = "24",
}
@article{Hoare87o,
  title = "Algebraic Specification and Proof of a Distributed Recovery Algorithm",
  author = "He Jifeng and C.A.R. Hoare",
  year = "1987",
  journal = "Distributed Computing",
  number = "1",
  pages = "1--12",
  volume = "2",
}
@article{Hoare87n,
  title = "{\bf RUSSIAN TITLE}: Model of a Theory of Communicating Sequential Processes for Menu-Dialog Systems",
  author = "A.I. Enikeev and C.A.R. Hoare and A. Teruel",
  year = "1987",
  journal = "Mathematica",
  note = "In Russian.",
  publisher = "Kazan University Press",
  volume = "3",
}
@article{Enikeev*87:Model,
  title = "Model of a Theory of Communicating Sequential Processes for Menu-Dialog Systems",
  author = "A.I. Enikeev and C.A.R. Hoare and A. Teruel",
  year = "1987",
  journal = "Mathematica",
  note = "In Russian; ECS[109]",
  publisher = "Kazan University Press",
  volume = "3",
}
@incollection{Hoare87i,
  title = "Design and Proof of a Mail Service",
  author = "C.A.R. Hoare and H. Jifeng",
  year = "1987",
  booktitle = "6th Annual International Phoenix Conference on Computers and Communications --- Conference Proceedings Scottsdale, AZ, USA 25--27 February, 1987",
  editor = "O. Friesen and F. Golshani",
  pages = "272--5",
  publisher = "IEEE",
}
@unpublished{H87:Year,
  title = "After-dinner speech at {A}ustin {Year} of {P}rogramming",
  author = "C. A. R. Hoare",
  year = "1987",
  note = "Handwritten notes",
}
@unpublished{Dijkstra87:Letter,
  title = "Letter about proof format",
  author = "Edsger W. Dijkstra",
  year = "1987",
  month = "November 15",
  note = "Handwritten",
}
@article{Hoare86d,
  title = "The Weakest Prespecification I",
  author = "C.A.R. Hoare and J. He",
  year = "1986",
  journal = "Fundamenta Informaticae",
  month = "March",
  number = "1",
  pages = "51--84",
  volume = "9",
}
@techreport{Hoare86z,
  title = "Laws of Occam Programming",
  author = "A.W. Roscoe and C.A.R. Hoare",
  year = "1986",
  institution = "Oxford University Computing Laboratory, Programming Research Group",
  month = "February",
  number = "PRG-53",
}
@unpublished{H86:Formal,
  title = "Formal Methods in Software Engineering",
  author = "C. A. R. Hoare",
  year = "1986",
  month = "oct",
  note = "Handwritten manuscript, with comments from Jay Misra",
}
@article{Hoare86dii,
  title = "The Weakest Prespecification II",
  author = "C.A.R. Hoare and J. He",
  year = "1986",
  journal = "Fundamenta Informaticae",
  pages = "217--252",
  volume = "9",
}
@article{Hoare86i,
  title = "Specification-oriented Semantics for Communicating Processes",
  author = "E.R. Olderog and C.A.R. Hoare",
  year = "1986",
  journal = "Acta Informatica",
  number = "1",
  pages = "9--66",
  volume = "23",
}
@article{H86:Maths,
  title = "Maths Adds Safety to Computer Programs",
  author = "C. A. R. Hoare",
  year = "1986",
  journal = "New Scientist",
  month = "September 18",
}
@incollection{Hoare86f,
  title = "Algebraic Specification and Proof of Properties of a Mail Service",
  author = "C.A.R. Hoare and J. He",
  year = "1986",
  booktitle = "IFIP WG 2.1 Working Conference on Program Specification and Transformations, {Bad-T\"{o}lz}, W. Germany 15--17 April",
  editor = "L. Meertens",
  publisher = "North-Holland Publishers",
}
@incollection{Hoare86a,
  title = "Data Refinement Refined: Resume",
  author = "J. He and C.A.R. Hoare and J.W. Sanders",
  year = "1986",
  booktitle = "ESOP '86",
  editor = "B. Robinet and R. Wilhelm",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "213",
}
@booklet{Hoare86c,
  title = "The Mathematics of Programming",
  author = "C.A.R. Hoare",
  year = "1986",
  howpublished = "Oxford University Press",
  isbn = "0-199-51550-6",
}
@article{Boyle85:Review,
  title = "Review of `{C}ommunicating sequential processes'",
  author = "Roger Boyle",
  year = "1985",
  journal = "Data Processing",
  month = "sep",
}
@unpublished{Hoare85b,
  title = "Data Refinement Refined",
  author = "{ $H^{3}$.M.$S^{4}$ }",
  year = "1985",
  month = "May",
  note = "Typescript, Programming Research Group, Oxford University.",
}
@unpublished{Hoare*85:Data,
  title = "Data Refinement Refined",
  author = "C. A. R. Hoare and I. J. Hayes and Jifeng He and C. C. Morgan and J. W. Sanders and I. H. Sorensen and J. M. Spivey and B. A. Sufrin",
  year = "1985",
  month = "may",
  note = "Typed manuscript, ECS[97]",
}
@book{Hoare85ee,
  title = "Mathematical Logic and Programming Languages",
  year = "1985",
  editor = "C.A.R. Hoare and J.C. Shepherdson",
  isbn = "0-13-561465-1",
  note = "The papers in this book were first published in the Philosophical Transactions of the Royal Society Series A, Vol.~312, 1984.",
  publisher = "Prentice-Hall",
}
@book{Hoare85d,
  title = "Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1985",
  isbn = "0-13-153271-5",
  note = "256 pages",
  publisher = "Prentice-Hall",
}
@article{Hoare85c,
  title = "A Couple of Novelties in the Propositional Calculus",
  author = "C.A.R. Hoare",
  year = "1985",
  journal = "Zeitschr. f. Math. Logik und Grundlagen d. Math.",
  number = "2",
  pages = "173--178",
  volume = "31",
}
@inproceedings{Hoare85l,
  title = "Specification of a Simplified Network Service in {CSP}",
  author = "C.A.R. Hoare and C. Morgan",
  year = "1985",
  booktitle = "LNCS 207 --- The Analysis of Concurrent Systems, Cambridge, September 1983, Proceedings",
  editor = "B.T. Denvir and W.T. Harwood and M.I. Jackson",
  note = "There are a number of other contributions by Hoare to the discussions recorded in this volume.",
  pages = "345--353",
  publisher = "Springer-Verlag",
}
@incollection{Hoare85e,
  title = "Programs are Predicates",
  author = "C.A.R. Hoare",
  year = "1985",
  booktitle = "Mathematical Logic and Programming Languages",
  editor = "C.A.R. Hoare and J.C. Shepherdson",
  pages = "141--154",
  publisher = "Prentice-Hall",
}
@incollection{Hoare84xx,
  title = "Notes on Communicating Systems",
  author = "C.A.R. Hoare",
  year = "1985",
  booktitle = "Control Flow and Data Flow: Concepts of Distributed Programming. Proceedings of NATO Advanced Study Institute International Summer School, Marktoberdorf, 31 July -- 12 August, 1984",
  editor = "M. Broy",
  pages = "123--204",
  publisher = "Springer-Verlag",
}
@unpublished{H85:Degree,
  title = "Degree-day Speech at {H}atfield {P}olytechnic",
  author = "C. A. R. Hoare",
  year = "1985",
  month = "November 23",
  note = "Handwritten manuscript",
}
@unpublished{H85:Additional,
  title = "Additional Recommendations to {A}lvey {D}irectorate",
  author = "C. A. R. Hoare",
  year = "1985",
  month = "July 4",
  note = "Typed manuscript",
}
@unpublished{H85:Mathematics,
  title = "The Mathematics of Programming",
  author = "C. A. R. Hoare",
  year = "1985",
  month = "April 4",
  note = "Typed manuscript; a draft towards `Maths Adds Safety to Computer Programs'",
}
@article{Hoare84j,
  title = "A Theory of Communicating Sequential Processes",
  author = "S.D. Brookes and C.A.R. Hoare and A.W. Roscoe",
  year = "1984",
  journal = "Journal of the ACM",
  month = "July",
  number = "3",
  pages = "560--599",
  volume = "31",
}
@article{Hoare84k,
  title = "Programming: Sorcery or Science",
  author = "C.A.R. Hoare",
  year = "1984",
  journal = "IEEE Software",
  month = "April",
  number = "2",
  pages = "5--16",
  volume = "1",
}
@inproceedings{Hoare84i,
  title = "Programs as Executable Predicates",
  author = "C.A.R. Hoare and A.W. Roscoe",
  year = "1984",
  booktitle = "Proceedings of the International Conference on Fifth Generation Computer Systems, November 6--9 1984, Tokyo, Japan",
  pages = "220--228",
  publisher = "ICOT",
}
@unpublished{He83?:More,
  title = "Letter about `{A} More Complete Model of Communicating Processes'",
  author = "Jifeng He",
  year = "1983?",
  note = "Handwritten, undated, but CARH says ``very early in his stay at Oxford''; refers to ECS[88] (1983)",
}
@article{Hoare83f,
  title = "A More Complete Model of Communicating Processes",
  author = "E.C.R. Hehner and C.A.R. Hoare",
  year = "1983",
  journal = "Theoretical Computer Science",
  month = "September",
  number = "1--2",
  pages = "105--120",
  volume = "26",
}
@techreport{Hoare83b,
  title = "Notes on Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1983",
  institution = "Oxford University Computing Laboratory, Programming Research Group",
  month = "August",
  number = "33",
}
@article{Hoare83c,
  title = "1983 Technology Forecast",
  author = "C.A.R. Hoare",
  year = "1983",
  journal = "Electronic Design",
  month = "January",
}
@inproceedings{Hoare83mm,
  title = "Programming is an Engineering Profession",
  author = "C.A.R. Hoare",
  year = "1983",
  booktitle = "State of the Art Report 11, No.~3: Software Engineering",
  editor = "P.J.L. Wallis",
  note = "Also Oxford PRG Monograph No. 27.; and IEEE Software 1(2)",
  pages = "77--84",
  publisher = "Pergamon/Infotech",
}
@incollection{Hoare83i,
  title = "Specification-oriented Semantics for Communicating Processes",
  author = "E.R. Olderog and C.A.R. Hoare",
  year = "1983",
  booktitle = "Automata, Languages and Programming --- Proceedings of the 10th International Colloquiumi, Barcelona July 18--22. Lecture Notes in Computer Science 154",
  editor = "J. Diaz",
  pages = "561--572",
  publisher = "Springer-Verlag",
}
@unpublished{H82?:MSc,
  title = "Early material on {MSc} in {C}omputation",
  author = "C. A. R. Hoare",
  year = "1982?",
  note = "Typed notes, undated",
}
@unpublished{H82?:Jones,
  title = "Hoare's Formulation of {J}ones' Calculus for Programming",
  author = "C. A. R. Hoare",
  year = "1982?",
  note = "Typed manuscript, undated",
}
@unpublished{H82:Education,
  title = "An Education for the Software Engineer",
  author = "C. A. R. Hoare",
  year = "1982",
  month = "aug",
  note = "Handwritten manuscript",
}
@techreport{Hoare82h,
  title = "Specifications, Programs and Implementations",
  author = "C.A.R. Hoare",
  year = "1982",
  institution = "Programming Research Group, Oxford University",
  month = "June",
  number = "PRG-29, ISBN 0-902928-17-1",
}
@techreport{Hoare82a,
  title = "The Consistency of the Calculus of Total Correctness for Communicating Processes",
  author = "C.A.R. Hoare and Zhou Chaochen",
  year = "1982",
  institution = "Oxford University Computing Laboratory, Programming Research Group",
  month = "February",
  number = "26",
}
@incollection{Hoare82ii,
  title = "Discrete Event Simulation Based on Communicating Sequential Processes",
  author = "W.H. Kaubisch and C.A.R. Hoare",
  year = "1982",
  booktitle = "Theoretical Foundations of Programming Methodology --- Lecture Notes of an International Summer School, Germany, 1981",
  editor = "M. Broy and G. Schmidt",
  pages = "625--42",
  publisher = "Reidel",
}
@incollection{Hoare82i,
  title = "Structure of an Operating System",
  author = "C.A.R. Hoare and R.M. McKeag",
  year = "1982",
  booktitle = "Theoretical Foundations of Programming Methodology --- Lecture Notes of an International Summer School, Germany, 1981",
  editor = "M. Broy and G. Schmidt",
  pages = "643--658",
  publisher = "Reidel",
}
@unpublished{Dijkstra82:From,
  title = "{EWD821}: From Predicate Transformers to Predicates",
  author = "Edsger W. Dijkstra",
  year = "1982",
  month = "April 20",
  note = "Original, handwritten, ``Dedicated by the Tuesday Afternoon Club to C. A. R. Hoare at the occasion of his being elected Fellow of the Royal Society''",
}
@techreport{Hoare81c,
  title = "Partial Correctness of Communicating Processes and Protocols",
  author = "C.A.R. Hoare and Zhou Chaochen",
  year = "1981",
  institution = "Oxford University Computing Laboratory, Programming Research Group",
  month = "May",
  number = "PRG 20",
}
@unpublished{H81:Calculus,
  title = "A Calculus of Total Correctness for Communicating Processes",
  author = "C. A. R. Hoare",
  year = "1981",
  month = "may",
  note = "Handwritten draft of ECS[76]",
}
@article{Hoare81a,
  title = "The Emperor's Old Clothes",
  author = "C.A.R. Hoare",
  year = "1981",
  journal = "Communications of the ACM",
  month = "February",
  number = "2",
  pages = "75--83",
  volume = "24",
}
@article{Hoare81e,
  title = "A Calculus of Total Correctness for Communicating Processes",
  author = "C.A.R. Hoare",
  year = "1981",
  journal = "The Science of Computer Programming",
  month = "October",
  number = "1--2",
  pages = "49--72",
  volume = "1",
}
@unpublished{Zhou&Hoare81:Partial,
  title = "Partial Correctness of Communicating Sequential Processes",
  author = "Zhou, Chou Chen and C. A. R. Hoare",
  year = "1981",
  month = "jan",
  note = "Handwritten manuscript",
}
@article{Hoare81f,
  title = "Professionalism",
  author = "C.A.R. Hoare",
  year = "1981",
  journal = "BCS, Computer Bulletin",
  note = "Invited Talk given at BCS 81.",
  number = "29",
  pages = "2-4",
  volume = "2",
}
@article{H81:Is,
  title = "Is There a Mathematical Basis for Computer Programming?",
  author = "C.A.R. Hoare",
  year = "1981",
  journal = "NAG Newsletter",
  pages = "6--15",
  volume = "2",
}
@inproceedings{Hoare81b,
  title = "Partial Correctness of Communicating Sequential Processes",
  author = "Zhou Chaochen and C.A.R. Hoare",
  year = "1981",
  booktitle = "Proceedings of 2nd International Conference on Distributed Computing Systems",
  month = "April 8--10",
  pages = "1--12",
  publisher = "IEEE Computer Society Press",
}
@unpublished{H81:Turing,
  title = "Responses to {T}uring {L}ecture, and {CARH}'s replies",
  author = "C. A. R. Hoare",
  year = "1981",
  month = "March -- May",
  note = "Various letters",
}
@unpublished{H81:File,
  title = "File Backup Server",
  author = "C. A. R. Hoare",
  year = "1981",
  month = "October -- November",
  note = "Handwritten manuscripts; first and second drafts, never published",
}
@unpublished{H80?:Craftsmen,
  title = "Craftsmen and Engineers",
  author = "C. A. R. Hoare",
  year = "1980?",
  note = "Handwritten manuscript (untitled)",
}
@article{Hoare80i,
  title = "Hoare on Programming",
  author = "C.A.R. Hoare",
  year = "1980",
  journal = "Computer World UK",
  month = "22nd October",
  note = "Text of an interview.",
}
@incollection{Hoare80ii,
  title = "Synchronisation of Parallel Processes",
  author = "C.A.R. Hoare",
  year = "1980",
  booktitle = "Advanced Techniques for Microprocessor Systems",
  editor = "F.K. Hanna",
  pages = "108--111",
  publisher = "Peter Peregrinus",
}
@incollection{Hoare80b,
  title = "A Theory of Non-determinism",
  author = "C.A.R. Hoare and J.R. Kennaway",
  year = "1980",
  booktitle = "Proceedings ICALP '80",
  pages = "338-350",
  publisher = "Springer-Verlag, Lecture Notes In Computer Science, No. 85",
}
@incollection{Hoare80a,
  title = "A Model for Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1980",
  booktitle = "On the Construction of Programs",
  editor = "R.M. McKeag and A.M. MacNaughten",
  pages = "229-254",
  publisher = "Cambridge University Press",
}
@unpublished{H80:Turing,
  title = "{A}. {M}. {T}uring {A}ward {L}ecture",
  author = "C. A. R. Hoare",
  year = "1980",
  month = "October 27",
  note = "Handwritten draft of Turing Award lecture",
}
@unpublished{H79:Towards,
  title = "Towards a Theory of Communicating Sequential Processes",
  author = "C. A. R. Hoare",
  year = "1979",
  month = "feb",
  note = "Typed manuscript",
}
@article{Hoare78i,
  title = "Semantics of Nondeterminism, Concurrency and Communication",
  author = "N. Francez and C.A.R. Hoare and D.J. Lehmann and W.P. de Roever",
  year = "1979",
  journal = "Journal of Computer and System Sciences",
  month = "December",
  number = "3",
  pages = "290--308",
  volume = "19",
}
@article{Hoare78z,
  title = "Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1978",
  journal = "Communications of the ACM",
  month = "August",
  number = "8",
  pages = "666--677",
  volume = "21",
}
@article{Hoare78ii,
  title = "Some properties of Predicate Transformers",
  author = "C.A.R. Hoare",
  year = "1978",
  journal = "Journal of the ACM",
  month = "July",
  number = "3",
  pages = "461--80",
  volume = "25",
}
@unpublished{H78:Software,
  title = "Software Engineering",
  author = "C. A. R. Hoare",
  year = "1978",
  month = "may",
  note = "Transcript of keynote address at ICSE 1978, Atlanta GA",
}
@unpublished{H78:Model,
  title = "A Model for Communicating Sequential Processes",
  author = "C. A. R. Hoare",
  year = "1978",
  month = "dec",
  note = "Typed manuscript",
}
@unpublished{H78:Everything,
  title = "Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask",
  author = "C. A. R. Hoare",
  year = "1978",
  month = "nov",
  note = "Typed manuscript; ``probably consultancy report to DoD workshop on what became Ada''",
}
@unpublished{H78:Theory,
  title = "A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs",
  author = "C. A. R. Hoare",
  year = "1978",
  month = "jan",
  note = "Typed lecture notes for a course at TATA Institute, Bomby",
}
@incollection{Hoare78v,
  title = "Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1978",
  booktitle = "Digital Systems Design. Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar, 6--9 September 1977",
  editor = "B. Shaw",
  pages = "145--56",
  publisher = "Newcastle University",
}
@incollection{Hoare78iii,
  title = "Software Engineering: A Keynote Address",
  author = "C.A.R. Hoare",
  year = "1978",
  booktitle = "3rd International Conference on Software Engineering, Atlanta, GA., USA, 10--12 May",
  pages = "1--4",
  publisher = "IEEE Press",
}
@unpublished{H77?:Application,
  title = "Application-Oriented Languages: Project Summary",
  author = "C. A. R. Hoare",
  year = "1977?",
  note = "Typed manuscript",
}
@unpublished{Kaubisch&Hoare77?:Discrete,
  title = "Discrete Event Simulation Based on Communicating Sequential Processes",
  author = "W. H. Kaubisch and C. A. R. Hoare",
  year = "1977?",
  note = "Typed draft of ECS[81]",
}
@unpublished{H77:Communicating,
  title = "Communicating Sequential Processes",
  author = "C. A. R. Hoare",
  year = "1977",
  month = "mar",
  note = "Typed manuscript, draft of ECS[66]",
}
@article{Hoare77a,
  title = "Fast Fourier Transform Free From Tears",
  author = "A.M. {MacNaughten} and C.A.R. Hoare",
  year = "1977",
  journal = "BCS, Computer Journal",
  month = "February",
  number = "1",
  pages = "78--83",
  volume = "20",
}
@unpublished{H&Black77:Basic,
  title = "Basic Theorems about Predicate Transformers",
  author = "C. A. R. Hoare and Andrew P. Black",
  year = "1977",
  month = "nov",
  note = "Typed manuscript",
}
@unpublished{Hoare&McKeag77:Structure,
  title = "Structure of an Operating System",
  author = "C. A. R. Hoare and R. M. McKeag",
  year = "1977",
  month = "oct",
  note = "Typed manuscript; second draft of ECS[58]?",
}
@article{Hoare77e,
  title = "Ambiguities and Insecurities in {PASCAL}",
  author = "J. Welsh and W.J. Sneeringer and C.A.R. Hoare",
  year = "1977",
  journal = "Software Practice and Experience",
  month = "November -- December",
  number = "6",
  pages = "685--96",
  volume = "7",
}
@incollection{Hoare77i,
  title = "Introduction",
  author = "C.A.R. Hoare",
  year = "1977",
  booktitle = "Software Engineering --- Proceedings of a Symposium held at the Queen's University of Belfast 1976 (A.P.I.C. Studies in Data Processing No. 14)",
  editor = "R.H. Perrott",
  pages = "7--14",
  publisher = "Academic Press",
}
@unpublished{H76:Research,
  title = "Research Proposal 1976--7",
  author = "C. A. R. Hoare",
  year = "1976?",
  note = "Typed manuscript for research on communicating sequential processes",
}
@unpublished{H76:Communicating,
  title = "Communicating Sequential Processes",
  author = "C. A. R. Hoare",
  year = "1976",
  month = "aug",
  note = "Typed draft of ECS[66]",
}
@article{Hoare76a,
  title = "Quasiparallel Programming",
  author = "W.H. Kaubisch and R.H. Perrott and C.A.R. Hoare",
  year = "1976",
  journal = "Software Practice and Experience",
  month = "July",
  number = "3",
  pages = "341--356",
  volume = "6",
}
@article{H76:Engineering,
  title = "The Engineering of Software: A Startling Contradiction",
  author = "C. A. R. Hoare",
  year = "1976",
  journal = "Computers and People",
  month = "jul",
}
@unpublished{H76:Software,
  title = "Software Engineering",
  author = "C. A. R. Hoare",
  year = "1976",
  month = "apr",
  note = "Typed draft of ECS[62]",
}
@unpublished{Wirth76:Cooperating,
  title = "Cooperating Sequential Processes",
  author = "Niklaus Wirth",
  year = "1976",
  month = "oct",
  note = "Typed letter to CARH",
}
@unpublished{H76:Notation,
  title = "A Notation for the Specification of Computer Programs",
  author = "C. A. R. Hoare",
  year = "1976",
  month = "oct",
  note = "Handwritten manuscript",
}
@article{Hoare76e,
  title = "Remarks on ``Program Proving: Jumps and Functions''",
  author = "E.A. Ashcroft and M. Clint and C.A.R. Hoare",
  year = "1976",
  journal = "Acta Informatica",
  number = "3",
  pages = "317--318",
  volume = "6",
}
@article{Hoare76c,
  title = "The High Cost of Programming Languages",
  author = "C.A.R. Hoare",
  year = "1976",
  journal = "Software Systems engineering",
  pages = "413--429",
  publisher = "Online",
}
@article{Hoare76b,
  title = "Structured Programming in Introductory Programming Courses",
  author = "C. A. R. Hoare",
  year = "1976",
  journal = "Infotech, Structured Programming",
  note = "ECS[56]",
  pages = "255--263",
}
@incollection{Hoare76i,
  title = "Hints on the Design of a Programming Language for Real-time Command and Control",
  author = "C.A.R. Hoare",
  year = "1976",
  booktitle = "Real-time Software: International State of the Art Report",
  editor = "J.P. Spencer",
  pages = "685--99",
  publisher = "Infotech International",
}
@incollection{Hoare76d,
  title = "The Structure of an Operating System",
  author = "C.A.R. Hoare",
  year = "1976",
  booktitle = "Language Hierarchies and Interfaces",
  pages = "242--265",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "46",
}
@article{Hoare75c,
  title = "Parallel Programming: An Axiomatic Approach",
  author = "C.A.R. Hoare",
  year = "1975",
  journal = "Computer Languages",
  month = "June",
  number = "2",
  pages = "151--160",
  volume = "1",
}
@article{Hoare75b,
  title = "Recursive Data Structures",
  author = "C.A.R. Hoare",
  year = "1975",
  journal = "International Journal of Computer \& Information Sciences",
  month = "June",
  number = "2",
  pages = "105--132",
  volume = "4",
}
@article{H75:Data,
  title = "Data Reliability",
  author = "C. A. R. Hoare",
  year = "1975",
  issn = "0362-1340",
  journal = "SIGPLAN Notices",
  keywords = "Abstraction and representation, Avoidance of references, Data structuring, Software reliability",
  month = "June",
  note = "International Conference on Reliable Software, Los Angeles; ECS[53]",
  number = "6",
  pages = "528--533",
  publisher = "ACM",
  volume = "10",
  doi = "10.1145/390016.808476",
}
@inproceedings{Hoare75d,
  title = "Data Reliability",
  author = "C.A.R. Hoare",
  year = "1975",
  booktitle = "Int. Conf. Reliable Software, Los Angeles",
  month = "June",
  note = "SIGPLAN Notices 10(6)",
  pages = "528--533",
  publisher = "ACM",
}
@unpublished{H75b:Data,
  title = "Data Reliability",
  author = "C. A. R. Hoare",
  year = "1975",
  month = "jun",
  note = "Handwritten notes for the talk ECS[53] at the conference",
}
@article{Hoare75a,
  title = "Matrix Reduction---an Efficient Method (School Timetables)",
  author = "C.A.R. Hoare and H.C. Johnston",
  year = "1975",
  journal = "Communications of the ACM",
  month = "March",
  number = "3",
  pages = "141--150",
  volume = "18",
}
@unpublished{H75:Notes,
  title = "Notes on the Standardisation of Programming Languages",
  author = "C. A. R. Hoare",
  year = "1975",
  month = "feb",
  note = "Typed manuscript",
}
@article{H75:Software,
  title = "Software Engineering",
  author = "C.A.R. Hoare",
  year = "1975",
  journal = "BCS, Computer Bulletin",
  month = "December",
  number = "6",
  pages = "6--7",
  volume = "2",
}
@unpublished{H75:Model,
  title = "A Model for Programming Language Semantics",
  author = "C. A. R. Hoare",
  year = "1975",
  month = "dec",
  note = "Typed manuscript, early draft of ECS[65]",
}
@unpublished{H75:Cooperation,
  title = "Cooperation in Education",
  author = "C. A. R. Hoare",
  year = "1975",
  month = "nov",
  note = "Handwritten manuscript, address delivered at INTERACT~75 (joint BCS/ICS conference)",
}
@techreport{Hoare75iv,
  title = "{Implementation Languages for Real-Time Systems --- III. Command and Control Languages --- Specific Comments}",
  author = "P.H. Enslow and C.A.R. Hoare and J. Palme and D. Parnas and I. Pyle",
  year = "1975",
  institution = "{European Res. Office, London, UK}",
  month = "15 April",
  number = "ERO-2-75-Vol-3",
}
@techreport{Hoare75iii,
  title = "{Implementation Languages for Real-Time Systems --- II. Language Design --- General Comments}",
  author = "P.H. Enslow and C.A.R. Hoare and J. Palme and D. Parnas and I. Pyle",
  year = "1975",
  institution = "{European Res. Office, London, UK}",
  month = "15 April",
  number = "ERO-2-75-Vol-2",
}
@techreport{Hoare75ii,
  title = "{Implementation Languages for Real-Time Systems --- I. Standardisation --- its Implementation and Acceptance}",
  author = "P.H. Enslow and C.A.R. Hoare and J. Palme and D. Parnas and I. Pyle",
  year = "1975",
  institution = "{European Res. Office, London, UK}",
  month = "15 April",
  number = "ERO-2-75-Vol-1",
}
@incollection{Hoare75i,
  title = "Program Correctness Proofs",
  author = "C.A.R. Hoare",
  year = "1975",
  booktitle = "Formal Aspects of Computing Science, Newcastle upon Tyne, 3--6 September, 1974",
  editor = "B. Shaw",
  note = "\url{http://www.ncl.ac.uk/computing/about/history/seminars/proceeding.php?id=30}",
  pages = "7--45",
  publisher = "Newcastle University",
}
@article{Hoare74d,
  title = "Optimisation of Store Size for Garbage Collection",
  author = "C.A.R. Hoare",
  year = "1974",
  journal = "Information Processing Letters",
  month = "April",
  number = "6",
  pages = "165--166",
  volume = "2",
}
@article{Hoare74b,
  title = "Monitors: An Operating System Structuring Concept",
  author = "C.A.R. Hoare",
  year = "1974",
  journal = "Communications of the ACM",
  month = "October",
  number = "10",
  pages = "549--557",
  volume = "17",
}
@unpublished{H74:Data,
  title = "Data Reliability: A Tutorial Paper",
  author = "C. A. R. Hoare",
  year = "1974",
  month = "oct",
  note = "Typed manuscript, draft of ECS[53]",
}
@article{Hoare74e,
  title = "Software Design: A Parable",
  author = "C.A.R. Hoare",
  year = "1974",
  journal = "Software World",
  number = "9--10",
  pages = "53--56",
  volume = "5",
}
@article{Hoare74a,
  title = "Consistent and Complementary Formal Theories of the Semantics of Programming Languages",
  author = "C.A.R. Hoare and P.E. Lauer",
  year = "1974",
  journal = "Acta Informatica",
  number = "2",
  pages = "135--153",
  volume = "3",
}
@inproceedings{Hoare74c,
  title = "Hints on Programming Language Design",
  author = "C.A.R. Hoare",
  year = "1974",
  booktitle = "State of the Art Report 20: Computer Systems Reliability",
  editor = "C.J. Bunyan",
  pages = "505--534",
  publisher = "Pergamon/Infotech",
}
@unpublished{H73?:Structured,
  title = "A Structured Paging System",
  author = "C. A. R. Hoare",
  year = "1973?",
  note = "Typed manuscript of ECS[36], undated",
}
@article{Hoare73e,
  title = "A Structured Paging System",
  author = "C.A.R. Hoare",
  year = "1973",
  journal = "BCS, Computer Journal",
  month = "August",
  number = "3",
  pages = "209--215",
  volume = "16",
}
@article{Hoare72i,
  title = "A General Conservation Law for Queueing Disciplines",
  author = "C.A.R. Hoare",
  year = "1973",
  journal = "Information Processing Letters",
  month = "August",
  number = "3",
  pages = "82--85",
  volume = "2",
}
@article{H73:Computer,
  title = "Computer Programming as an Engineering Discipline",
  author = "C.A.R. Hoare",
  year = "1973",
  journal = "Electronics \& Power",
  month = "August",
  number = "14",
  pages = "316--320",
  volume = "19",
}
@article{Hoare73b,
  title = "Tomorrow's Men: The Role of the University",
  author = "C.A.R. Hoare",
  year = "1973",
  journal = "Computer Weekly, Educational Supplement",
  month = "July 26",
  volume = "7",
}
@article{Hoare73a,
  title = "An Axiomatic Definition of the Programming Language {PASCAL}",
  author = "C.A.R. Hoare and N. Wirth",
  year = "1973",
  journal = "Acta Informatica",
  number = "4",
  pages = "335--355",
  volume = "2",
}
@article{H73:Tomorrows,
  title = "Tomorrow's Men: The Role of the University",
  author = "C. A. R. Hoare",
  year = "1973",
  journal = "Computer Weekly, Education Supplement",
  month = "July 26",
  note = "ECS[38]",
  pages = "7",
}
@inproceedings{Hoare73z,
  title = "High Level Programming Languages, the Way Behind",
  author = "C.A.R. Hoare",
  year = "1973",
  booktitle = "High Level Programming Languages --- The Way Ahead",
  editor = "D. Simpson",
  publisher = "NCC Publications, Manchester",
}
@article{Hoare72d,
  title = "Incomputability",
  author = "C.A.R. Hoare and D.C.S. Allison",
  year = "1972",
  journal = "ACM, Computing Surveys",
  month = "September",
  number = "3",
  pages = "169--178",
  volume = "4",
}
@article{Hoare72dd,
  title = "The Quality of Software",
  author = "C.A.R. Hoare",
  year = "1972",
  journal = "Software Practice and Experience",
  month = "April",
  number = "2",
  pages = "103--5",
  volume = "2",
}
@unpublished{H72:Axiomatic,
  title = "An Axiomatic Definition of the Programming Language {PASCAL}",
  author = "C. A. R. Hoare",
  year = "1972",
  month = "feb",
  note = "Typed manuscript, ``very different from the published version'' ECS[37]",
}
@article{Hoare72h,
  title = "Proof of a Structured Program: `{T}he {S}ieve of {E}ratosthenes'",
  author = "C.A.R. Hoare",
  year = "1972",
  journal = "BCS, Computer Journal",
  month = "November",
  number = "4",
  pages = "321--325",
  volume = "15",
}
@book{Hoare72ee,
  title = "Structured Programming",
  author = "O.-J. Dahl and E.W. Dijkstra and C.A.R. Hoare",
  year = "1972",
  isbn = "0122005503",
  note = "234 pages",
  publisher = "Academic Press",
}
@book{Hoare71c,
  title = "Operating System Techniques",
  author = "C.A.R. Hoare and R.H. Perrott",
  year = "1972",
  isbn = "0123506506",
  publisher = "Academic Press",
}
@article{Hoare72a,
  title = "Proof of Correctness of Data Representations",
  author = "C.A.R. Hoare",
  year = "1972",
  journal = "Acta Informatica",
  number = "4",
  pages = "271--281",
  volume = "1",
}
@article{Hoare72c,
  title = "Program Proving: Jumps and Functions",
  author = "M. Clint and C.A.R. Hoare",
  year = "1972",
  journal = "Acta Informatica",
  number = "3",
  pages = "214--224",
  volume = "1",
}
@article{H72:Note,
  title = "{A Note on the FOR Statement}",
  author = "C.A.R. Hoare",
  year = "1972",
  journal = "BIT",
  number = "3",
  pages = "334-341",
  volume = "12",
}
@article{H72:Prospects,
  title = "Prospects for a Better Programming Language",
  author = "C.A.R. Hoare",
  year = "1972",
  journal = "Infotech State of the Art Report: High Level Languages",
  pages = "327--343",
  volume = "7",
}
@inproceedings{Hoare71d,
  title = "A Survey of Store Management Techniques: Part 2",
  author = "C.A.R. Hoare and R.M. McKeag",
  year = "1972",
  booktitle = "Operating System Techniques",
  pages = "132--151",
  publisher = "Academic Press",
}
@inproceedings{Hoare70a,
  title = "A Survey of Store Management Techniques: Part 1",
  author = "C.A.R. Hoare and R.M. McKeag",
  year = "1972",
  booktitle = "Operating System Techniques",
  pages = "117--131",
  publisher = "Academic Press",
}
@inproceedings{Hoare71g,
  title = "Towards a Theory of Parallel Programming",
  author = "C.A.R. Hoare",
  year = "1972",
  booktitle = "Operating System Techniques",
  pages = "61--71",
  publisher = "Academic Press",
}
@inproceedings{Hoare71f,
  title = "Operating Systems: their purpose, objectives, functions and scope",
  author = "C.A.R. Hoare",
  year = "1972",
  booktitle = "Operating System Techniques",
  pages = "11--28",
  publisher = "Academic Press",
}
@incollection{Hoare72ez,
  title = "Hierarchical Program Structures",
  author = "O.-J. Dahl and C.A.R. Hoare",
  year = "1972",
  booktitle = "Stuctured Programming",
  editor = "O.-J. Dahl and E.W. Dijkstra and C.A.R. Hoare",
  pages = "175--220",
  publisher = "Academic Press",
}
@incollection{Hoare72e,
  title = "Notes on Data Structuring",
  author = "C.A.R. Hoare",
  year = "1972",
  booktitle = "Structured Programming",
  editor = "O.-J. Dahl and E.W. Dijkstra and C.A.R. Hoare",
  pages = "83--174",
  publisher = "Academic Press",
}
@unpublished{H72:Model,
  title = "A Model Paging System",
  author = "C. A. R. Hoare",
  year = "1972",
  note = "Various drafts towards ECS[36]",
}
@article{Hoare71b,
  title = "Proof of a Recursive Program: Quicksort",
  author = "M. Foley and C.A.R. Hoare",
  year = "1971",
  journal = "BCS, Computer Journal",
  month = "November",
  number = "4",
  pages = "391--395",
  volume = "14",
}
@article{Hoare71a,
  title = "Proof of a Program: {FIND}",
  author = "C.A.R. Hoare",
  year = "1971",
  journal = "Communications of the ACM",
  month = "January",
  number = "1",
  pages = "39--45",
  volume = "14",
}
@inproceedings{H71:Operating,
  title = "Operating Systems: Their Purpose, Objectives, Functions, and Scope",
  author = "C. A. R. Hoare",
  year = "1971",
  booktitle = "First International Seminar on Operating Systems Techniques",
  note = "Typed manuscript; appeared as ECS[21]",
}
@booklet{Hoare71e,
  title = "Computer Science",
  author = "C.A.R. Hoare",
  year = "1971",
  howpublished = "New Lecture Series 62",
}
@incollection{Hoare71y,
  title = "Procedures and Parameters: An Axiomatic Approach",
  author = "C.A.R. Hoare",
  year = "1971",
  booktitle = "Symposium On Semantics of Algorithmic Languages",
  editor = "E. Engeler",
  number = "188",
  pages = "102--116",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Mathematics",
}
@misc{H71:Axiomatic,
  author = "C. A. R. Hoare",
  year = "1971",
  howpublished = "Letter to Niklaus Wirth about a draft of `An Axiomatic Definition of PASCAL'",
  month = "September 28",
}
@unpublished{H71:Parallel,
  title = "Parallel Programming",
  author = "C. A. R. Hoare",
  year = "1971",
  month = "April - June",
  note = "Letters to and from Niklaus Wirth about parallel programming",
}
@proceedings{Turski70:Efficient,
  title = "Efficient Production of Large Programs",
  year = "1970",
  editor = "Wlad Turski",
  month = "aug 10--14",
  note = "The source of CARH's comment that ``inside every large program there is a small program trying to get out''. There were only three Westerners present (Hoare, Manacher, Randall); the official language was English, but the audience was all Poles and Russians. One Russian had an inexhaustible fund of dirty jokes---and so did Randell. CARH translated; the second edition of the nineteenth-century Dahl dictionary had all the dirty words in, with illustrative phrases.",
  publisher = "Computation Centre of the {P}olish {A}acdemy of {S}cience",
}
@article{Hoare69a,
  title = "An Axiomatic Basis for Computer Programming",
  author = "C.A.R. Hoare",
  year = "1969",
  journal = "Communications of the ACM",
  month = "October",
  number = "10",
  pages = "576--580, 583",
  volume = "12",
}
@inproceedings{Hoare69b,
  title = "Data Structures in Two-level Store",
  author = "C.A.R. Hoare",
  year = "1969",
  booktitle = "Proceedings of the IFIP Congress, Edinburgh, 1968",
  pages = "322--329",
  publisher = "North-Holland",
}
@unpublished{H69:Report,
  title = "Referee's report",
  author = "C. A. R. Hoare",
  year = "1969",
  month = "July 22",
  note = "CARH's first referee's report, on a paper by Rudolph Bayer, for John Reynolds---CACM?",
}
@unpublished{H68?:Axiomatic,
  title = "An Axiomatic Basis of Computer Programming",
  author = "C. A. R. Hoare",
  year = "1968?",
  note = "Handwritten manuscript, undated; late draft of ECS[15]",
}
@techreport{H68:Program,
  title = "Program Documentation",
  author = "C. A. R. Hoare",
  year = "1968",
  institution = "Computing Research Division, Elliott Brothers Ltd",
  month = "apr",
}
@article{Hoare68i,
  title = "Critique of {ALGOL 68}",
  author = "C.A.R. Hoare",
  year = "1968",
  journal = "ALGOL Bulletin",
  month = "November",
  pages = "27--29",
  volume = "29",
}
@article{Hoare68c,
  title = "Limitations on Languages",
  author = "C.A.R. Hoare",
  year = "1968",
  journal = "Computer Weekly",
}
@techreport{H68:Axiomatic,
  title = "The Axiomatic Method",
  author = "C. A. R. Hoare",
  year = "1968",
  institution = "National Computing Centre",
  note = "Very different from the published version ECS[15] after seeing Floyd's article",
}
@incollection{Hoare68b,
  title = "Record Handling",
  author = "C.A.R. Hoare",
  year = "1968",
  booktitle = "Programming Languages",
  editor = "F. Genuys",
  pages = "291--347",
  publisher = "Academic Press",
}
@unpublished{H68:Programming,
  title = "Programming Languages: Predictions and Prospects",
  author = "C. A. R. Hoare",
  year = "1968",
  note = "Typed manuscript; published as ECS[12]",
}
@unpublished{H67:Programming,
  title = "Programming Language Design: Principles and Practices",
  author = "C. A. R. Hoare",
  year = "1967",
  month = "November 16",
  note = "Typed book proposal, ``probably never submitted''",
}
@article{Hoare66a,
  title = "A Contribution to the Development of {ALGOL}",
  author = "N. Wirth and C.A.R. Hoare",
  year = "1966",
  journal = "Communications of the ACM",
  month = "June",
  number = "6",
  pages = "413--432",
  volume = "9",
}
@inproceedings{H66:Single,
  title = "Single Pass Compilation. {PL/I}",
  author = "C.A.R. Hoare",
  year = "1966",
  booktitle = "Proceedings of the ACTP Summer School on Software",
  month = "June",
}
@inproceedings{H66:PL/1,
  title = "{PL/I}",
  author = "C. A. R. Hoare",
  year = "1966",
  booktitle = "Proceedings of the ACTP Summer School on Software",
  month = "June",
}
@article{Hoare66m,
  title = "A Note on Indirect Addressing",
  author = "C.A.R. Hoare",
  year = "1965",
  journal = "{ALGOL} Bulletin",
  month = "November",
  pages = "63--65",
  volume = "21",
}
@unpublished{H65:Report,
  title = "Report of a Software Failure",
  author = "C. A. R. Hoare",
  year = "1965",
  month = "October 22",
  note = "Notes for an Elliott `teach-in', 22nd Oct 1965; revised 1972 as `Problems of Software Development'; eventually appeared as Guest Editorial in Software: Practice and Experience 2(2):103--105, 1972, doi 10.1002/spe.4380020202 ECS[27]",
}
@unpublished{H65:Programming,
  title = "A Programming Language for Processor Construction",
  author = "C. A. R. Hoare",
  year = "1965",
  note = "Typed manuscript; presented at IFIP Congress 1965, but never written up for publication",
}
@incollection{Hoare64a,
  title = "The {E}lliott {ALGOL} Programming System",
  author = "C.A.R. Hoare",
  year = "1964",
  booktitle = "Introduction to Systems Programming",
  editor = "P. Wegner",
  pages = "156--166",
  publisher = "Academic Press",
}
@article{Hoare63a,
  title = "The {E}lliott {ALGOL} Input/Output System",
  author = "C.A.R. Hoare",
  year = "1963",
  journal = "BCS, Computer Journal",
  month = "January",
  number = "4",
  pages = "345--348",
  volume = "5",
}
@article{Hoare62b,
  title = "Report on the {E}lliott {ALGOL} Translator",
  author = "C.A.R. Hoare",
  year = "1962",
  journal = "BCS, Computer Journal",
  month = "July",
  number = "2",
  pages = "127--129",
  volume = "5",
}
@article{Hoare62a,
  title = "Quicksort",
  author = "C.A.R. Hoare",
  year = "1962",
  journal = "BCS, Computer Journal",
  number = "1",
  pages = "10--15",
  volume = "5",
}
@article{Hoare61a,
  title = "{Algorithm 63, Partition; Algorithm 64, Quicksort; Algorithm 65, Find}",
  author = "C.A.R. Hoare",
  year = "1961",
  journal = "Communications of the ACM",
  month = "July",
  number = "7",
  pages = "321--322",
  volume = "4",
}
@book{Hoare61xx,
  title = "Theory of Mathematical Machines",
  year = "1961",
  editor = "{Iu. Ia. Basilevskii}",
  isbn = "1114551716",
  note = "Translated from Russian by C.A.R.~Hoare",
  publisher = "Pergamon Press",
}
@article{Hoare60a,
  title = "{\bf RUSSIAN TITLE}: {A method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis}",
  author = "C.A.R. Hoare",
  year = "1961",
  journal = "Foreign Develop. Mach. Translat. Info. Proc. No. 95 (Translated from Mashinnii Perevod i Prikladnaya Linguistika No. 6, pp. 80--88)",
}
@unpublished{H59:Probability,
  title = "Probability",
  author = "C. A. R. Hoare",
  year = "1959",
  note = "Typed manuscript, read to {J}owett {S}ociety at {B}alliol. CARH says it was typed on his mother's Remington portable, bought in Rhodesia 1942/3, when CARH learned to type",
}
@unpublished{Hoare&Johnston78?:Timetabling,
  title = "Timetabling for Schools: An Exercise in Program and Data Structuring",
  author = "C. A. R. Hoare and H. C. Johnston",
  note = "Handwritten manuscript, later version, undated---1978?",
}
@unpublished{Hoare&Johnston??:Timetabling,
  title = "Timetabling for Schools: An Exercise in Program and Data Structuring",
  author = "C. A. R. Hoare and H. C. Johnston",
  note = "Handwritten manuscript, undated---1977?",
}
@unpublished{H??:Outline,
  title = "Outline of Proposed Work",
  author = "C. A. R. Hoare",
  note = "Typed manuscript---perhaps for the application for the SRC Advanced Fellowship? While at Belfast",
}
@unpublished{H??:Unique,
  title = "Unique Fixed Points",
  author = "C. A. R. Hoare",
  note = "Handwritten manuscript, undated",
}
@unpublished{H??:Parable,
  title = "A Parable of Standardization",
  author = "C. A. R. Hoare",
  note = "Typed manuscript, undated",
}
@unpublished{H??:Final,
  title = "Final Report on {SRC} Project into Program Proving",
  author = "C. A. R. Hoare",
  note = "Typed manuscript, undated",
}
@unpublished{H??:Experiment,
  title = "An Experiment in the Reduction of References",
  author = "C. A. R. Hoare",
  note = "Handwritten manuscript; undated, 1960s?",
}
@unpublished{H??:Basic,
  title = "Basic Research",
  author = "C. A. R. Hoare",
  note = "Handwritten manuscript, undated",
}
@unpublished{H??:Shifting,
  title = "Shifting the Identity of Predicate Transformers",
  author = "C. A. R. Hoare",
  note = "Handwritten letter to Hilary Priestley, undated",
}
@unpublished{Roscoe??:About,
  title = "About Consistency in Databases",
  author = "A. W. Roscoe",
  note = "Letter in response to proof from CARH, undated",
}
@unpublished{H??:Predicate,
  title = "Note about predicate transformers",
  author = "C. A. R. Hoare",
  note = "Handwritten note to Oege de Moor, Clare Martin, Paul Gardiner, Carroll Morgan, undated",
}