Cliff B. Jones

171 papers A* 2A 1B 14C 7Misc 3Journal 72Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Remembering Jean-Raymond Abrial. Formal Aspects Comput. Cliff B. Jones
2025	J	`jnl`	A Specification Framework for Mixed-Criticality Scheduling Protocols. ACM Trans. Embed. Comput. Syst. Alan Burns, Cliff B. Jones
2025	J	`jnl`	Correction: Three Early Formal Approaches to the Verification of Concurrent Programs. Minds Mach. Cliff B. Jones
2025	J	`jnl`	Reasoning about concurrent loops and recursion with rely-guarantee rules. CoRR Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones
2024	—	`conf`	Clarifying Assumptions. The Application of Formal Methods Cliff B. Jones
2024	J	`jnl`	Data reification in a concurrent rely-guarantee algebra. CoRR Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
2024	J	`jnl`	Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. Cliff B. Jones, Alan Burns
2024	J	`jnl`	Handling expression evaluation under interference. CoRR Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
2024	—	`conf`	Specifying Fault-Tolerant Mixed-Criticality Scheduling. The Application of Formal Methods Alan Burns, Cliff B. Jones
2024	J	`jnl`	Three Early Formal Approaches to the Verification of Concurrent Programs. Minds Mach. Cliff B. Jones
2023	J	`jnl`	Extending Rely-Guarantee thinking to handle Real-Time Scheduling. CoRR Cliff B. Jones, Alan Burns
2023	—	`conf`	Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
2023	J	`jnl`	Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. CoRR Nisansala P. Yatapanage, Cliff B. Jones
2022	B	`conf`	An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS Alan Burns, Cliff B. Jones
2022	J	`jnl`	The Development and Deployment of Formal Methods in the UK. Formal Aspects Comput. Cliff B. Jones, Martyn Thomas
2021	—	`ch.`	Finding Effective Abstractions. Theories of Programming Cliff B. Jones, Jayadev Misra
2021	—	`ch.`	List of Tony Hoare's Publications. Theories of Programming Cliff B. Jones
2021	—	`ch.`	Preface. Theories of Programming Cliff B. Jones, Jayadev Misra
2021	—	`book`	Theories of Programming: The Life and Works of Tony Hoare Theories of Programming Cliff B. Jones, Jayadev Misra
2020	J	`jnl`	A Rely-Guarantee Specification of Mixed-Criticality Scheduling. CoRR Cliff B. Jones, Alan Burns
2020	J	`jnl`	Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. Alan Burns, Ian J. Hayes, Cliff B. Jones
2020	J	`jnl`	The development and deployment of formal methods in the UK. CoRR Cliff B. Jones, Martyn Thomas
2020	—	`book`	Understanding Programming Languages Cliff B. Jones
2019	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones, José Oliveira
2019	J	`jnl`	Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects Comput. Cliff B. Jones, Nisansala Yatapanage
2019	—	`conf`	Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. FM Workshops (2) Cliff B. Jones
2018	—	`ch.`	Concurrency: Handling Interference Formally. Symposium on Real-Time and Hybrid Systems Cliff B. Jones
2018	—	`book`	Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Symposium on Real-Time and Hybrid Systems Cliff B. Jones, Ji Wang, Naijun Zhan
2017	—	`conf`	A Guide to Rely/Guarantee Thinking. SETSS Ian J. Hayes, Cliff B. Jones
2017	—	`conf`	Challenges for Formal Semantic Description: Responses from the Main Approaches. SETSS Cliff B. Jones, Troy K. Astarte
2017	Misc	`conf`	General Lessons from a Rely/Guarantee Development. SETTA Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage
2017	J	`jnl`	The Turing Guide - By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99). Formal Aspects Comput. Cliff B. Jones
2017	C	`conf`	Turing's 1949 Paper in Context. CiE Cliff B. Jones
2016	J	`jnl`	Lessons from DEPLOYment. CoRR Manuel Mazzara, Cliff B. Jones, Alexei Iliasov
2016	J	`jnl`	Possible values: Exploring a concept for concurrency. J. Log. Algebraic Methods Program. Cliff B. Jones, Ian J. Hayes
2016	J	`jnl`	Possible values: exploring a concept for concurrency. CoRR Cliff B. Jones, Ian J. Hayes
2015	J	`jnl`	Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. Cliff B. Jones, Ian J. Hayes, Robert J. Colvin
2015	J	`jnl`	Editorial. Formal Aspects Comput. Jim Woodcock, Cliff B. Jones
2015	J	`jnl`	In memoriam: Professor Heinz Zemanek (1920-2014). Formal Aspects Comput. Cliff B. Jones
2015	B	`conf`	Reasoning about Separation Using Abstraction and Reification. SEFM Cliff B. Jones, Nisansala Yatapanage
2014	—	`conf`	A Model for Capturing and Replaying Proof Strategies. VSTTE Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
2014	—	`ch.`	Can a system learn from interactive proofs? HOWARD-60 Leo Freitas, Cliff B. Jones, Andrius Velykis
2014	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones
2014	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones
2014	B	`ed.`	FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings FM Cliff B. Jones, Pekka Pihlajasaari, Jun Sun
2014	J	`jnl`	Revising basic theorem proving algorithms to cope with the logic of partial functions. Sci. Comput. Program. Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
2014	J	`jnl`	Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. Cliff B. Jones, Alexander B. Romanovsky
2013	J	`jnl`	Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones
2013	—	`ch.`	Experience of Deployment in the Automotive Industry. Industrial Deployment of System Engineering Methods Rainer Gmehlich, Cliff B. Jones
2013	B	`conf`	Expressiveness of Notations for Reasoning about Concurrency. ICECCS Cliff B. Jones
2013	—	`conf`	Ours Is to Reason Why. Theories of Programming and Formal Methods Cliff B. Jones, Leo Freitas, Andrius Velykis
2012	C	`conf`	A Semantic Analysis of Logics That Cope with Partial Terms. ABZ Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
2012	J	`jnl`	AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
2012	B	`conf`	Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM Cliff B. Jones
2012	J	`jnl`	John McCarthy (1927-2011). Formal Aspects Comput. Cliff B. Jones
2011	—	`ed.`	Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday Dependable and Historic Computing Cliff B. Jones, John L. Lloyd
2011	J	`jnl`	Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects Comput. Cliff B. Jones, Ken G. Pierce
2011	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel
2011	J	`jnl`	Semantic Models for a Logic of Partial Functions. Int. J. Softw. Informatics Cliff B. Jones, Matthew J. Lovert
2010	—	`conf`	Abstractions Before Proofs. VERIFY@IJCAR Cliff B. Jones
2009	—	`book`	Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna
2008	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones, Jim Woodcock
2008	J	`jnl`	Reasoning about programs via operational semantics: requirements for a support system. Autom. Softw. Eng. John Robert Derek Hughes, Cliff B. Jones
2008	A*	`conf`	Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE Cliff B. Jones
2008	C	`conf`	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ Cliff B. Jones, Ken G. Pierce
2008	J	`jnl`	The connection between two ways of reasoning about partial functions. Inf. Process. Lett. John S. Fitzgerald, Cliff B. Jones
2008	J	`jnl`	Valediction. Formal Aspects Comput. Cliff B. Jones
2007	J	`jnl`	A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. Joey W. Coleman, Cliff B. Jones
2007	J	`jnl`	Atomicity: A Unifying Concept in Computer Science. J. Univers. Comput. Sci. Joey W. Coleman, Cliff B. Jones
2007	—	`conf`	Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
2007	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones, Jim Woodcock
2007	—	`ed.`	Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 Formal Methods and Hybrid Real-Time Systems Cliff B. Jones, Zhiming Liu, Jim Woodcock
2007	J	`jnl`	Splitting atoms safely. Theor. Comput. Sci. Cliff B. Jones
2007	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings ICTAC Cliff B. Jones, Zhiming Liu, Jim Woodcock
2007	—	`conf`	Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus Cliff B. Jones
2007	B	`conf`	What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS Cliff B. Jones, Ken G. Pierce
2006	—	`conf`	06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky
2006	—	`conf`	06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky
2006	—	`ed.`	Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 Atomicity: A Unifying Concept in Computer Science Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
2006	C	`conf`	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky
2006	—	`ed.`	Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] RODIN Book Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna
2006	B	`conf`	Roadmap for enhanced languages and methods to aid verification. GPCE Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
2006	—	`ch.`	The DIRC Project as the Context of this Book. Trust in Technology Cliff B. Jones
2006	J	`jnl`	Verified Software: A Grand Challenge. Computer Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock
2005	B	`conf`	An Approach to Splitting Atoms Safely: Extended Abstract. MFPS Cliff B. Jones
2005	J	`jnl`	Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. Univers. Comput. Sci. Jon Burton, Cliff B. Jones
2005	—	`ed.`	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 25 Years CSP Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
2005	J	`jnl`	Investigating Atomicity and Observability. J. Univers. Comput. Sci. Jon Burton, Cliff B. Jones
2005	—	`conf`	Reasoning About Partial Functions in the Formal Development of Programs. AVoCS Cliff B. Jones
2005	—	`conf`	Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE Cliff B. Jones
2005	—	`conf`	Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB Cliff B. Jones
2005	J	`jnl`	The Atomic Manifesto. J. Univers. Comput. Sci. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
2005	J	`jnl`	The atomic manifesto: a story in four quarks. SIGMOD Rec. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2005	J	`jnl`	The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2004	—	`ed.`	Atomicity in System Design and Execution, 25.04. - 30.04.2004 Atomicity in System Design and Execution Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
2004	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones, John Cooke
2004	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones, Michael R. Hansen
2004	J	`jnl`	Online First Publication. Formal Aspects Comput. Cliff B. Jones, D. J. Cooke, Christiane Notarmarco
2004	—	`conf`	The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2003	—	`conf`	Determining the Specification of a Control System from That of Its Environment. FME Ian J. Hayes, Michael A. Jackson, Cliff B. Jones
2003	J	`jnl`	Operational semantics: Concepts and their expression. Inf. Process. Lett. Cliff B. Jones
2003	J	`jnl`	The Early Search for Tractable Ways of Reasoning about Programs. IEEE Ann. Hist. Comput. Cliff B. Jones
2002	—	`conf`	A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST Cliff B. Jones
2002	B	`conf`	A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
2002	Misc	`conf`	Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems. SAC John E. Dobson, Cliff B. Jones, Rob Procter, Mark Rouncefield, Robin Williams
2002	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones
2002	—	`conf`	Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch
2001	J	`jnl`	An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica M. Lonergan, Cliff B. Jones
2001	J	`jnl`	The Transition from VDL to VDM. J. Univers. Comput. Sci. Cliff B. Jones
2001	Misc	`conf`	Thinking Tools for the Future of Computing Science. Informatics Cliff B. Jones
2000	—	`conf`	Dependability of Computer-Based Systems. SBES Cliff B. Jones
2000	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones
2000	—	`conf`	Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction Pierre Collette, Cliff B. Jones
2000	B	`conf`	Formal Methods and Dependability. MPC Cliff B. Jones
2000	A*	`conf`	Haptic Interface Control - Design Issues and Experiments with a Planar Device. ICRA Mohammad Reza Sirouspour, Simon P. DiMaio, Septimiu E. Salcudean, Purang Abolmaesumi, Cliff B. Jones
1999	—	`conf`	Scientific Decisions which Characterize VDM. World Congress on Formal Methods Cliff B. Jones
1998	—	`ch.`	Proof in the Analysis of a Model of a Tracking System. Proof in VDM John S. Fitzgerald, Cliff B. Jones
1998	B	`conf`	Some Mistakes I Have and What I Have Learned from Them. FASE Cliff B. Jones
1997	—	`ed.`	FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings FME John S. Fitzgerald, Cliff B. Jones, Peter Lucas
1997	C	`conf`	Whither Formal Methods: A Plea to Investigate New Applications. ICFEM Cliff B. Jones
1996	J	`jnl`	Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods Syst. Des. Cliff B. Jones
1996	J	`jnl`	An Invitation to Formal Methods. Computer Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
1996	J	`jnl`	Formal Methods Light. ACM Comput. Surv. Cliff B. Jones
1996	—	`ed.`	Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995) Object Orientation with Parallelism and Persistence Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek
1996	A	`conf`	Some Practical Problems and Their Influence on Semantics. ESOP Cliff B. Jones
1995	B	`conf`	Fixing the semantics of some concurrent object-oriented concepts. MFPS Cliff B. Jones
1995	B	`conf`	Granularity and the development of concurrent programs. MFPS Cliff B. Jones
1995	—	`conf`	Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. Object Orientation with Parallelism and Persistence Steve J. Hodges, Cliff B. Jones
1995	J	`jnl`	Partial Functions and Logics: A Warning. Inf. Process. Lett. Cliff B. Jones
1994	J	`jnl`	A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica Cliff B. Jones, Cornelis A. Middelburg
1994	J	`jnl`	Understanding the differences between VDM and Z. ACM SIGSOFT Softw. Eng. Notes Ian J. Hayes, Cliff B. Jones, John E. Nicholls
1993	B	`conf`	A pi-Calculus Semantics for an Object-Based Design Notation. CONCUR Cliff B. Jones
1993	—	`conf`	Constraining Inference in an Object-Based Design Model. TAPSOFT Cliff B. Jones
1993	—	`conf`	Reasoning about Interference in an Object-Based Design Method. FME Cliff B. Jones
1992	—	`ed.`	5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 Refine Cliff B. Jones, Roger C. Shaw, B. Tim Denvir
1990	—	`conf`	Interference Revisited. Z User Workshop Cliff B. Jones
1990	—	`conf`	Modularizing the Formal Description of a Database System. VDM Europe John S. Fitzgerald, Cliff B. Jones
1990	—	`ed.`	Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 Manfred Broy, Cliff B. Jones
1989	—	`conf`	Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress Cliff B. Jones
1988	—	`conf`	A Support System for Formal Reasoning: Requirements and Status. VDM Europe Cliff B. Jones, Peter A. Lindsay
1988	—	`conf`	MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe Cliff B. Jones, Richard C. Moore
1988	J	`jnl`	Theorem proving and software engineering. Softw. Eng. J. Cliff B. Jones
1987	—	`ed.`	VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings VDM Europe Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold
1987	—	`conf`	VDM Proof Obligations and their Justification. VDM Europe Cliff B. Jones
1986	—	`conf`	Software Development Based on Formal Methods. System Development and Ada Cliff B. Jones
1985	—	`conf`	MDB: A Graph-Like Persistent Database. Data Types and Persistence (Appin), Informal Proceedings Cliff B. Jones, T. N. Nipkow, Mario Wolczko
1985	—	`conf`	The Role of Proof Obligations in Software Design. TAPSOFT, Vol.2 Cliff B. Jones
1984	J	`jnl`	A Logic Covering Undefinedness in Program Proofs. Acta Informatica Howard Barringer, J. H. Cheng, Cliff B. Jones
1984	J	`jnl`	A Significance Rule for Multiple-Precision Arithmetic. ACM Trans. Math. Softw. Cliff B. Jones
1984	J	`jnl`	An Early Program Proof by Alan Turing. IEEE Ann. Hist. Comput. F. Lockwood Morris, Cliff B. Jones
1984	—	`conf`	On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas
1984	—	`ed.`	Programming Languages and Their Definition - Hans Bekic (1936-1982) Programming Languages and Their Definition Cliff B. Jones
1983	—	`conf`	Specification and Design of (Parallel) Programs. IFIP Congress Cliff B. Jones
1983	J	`jnl`	Tentative Steps Toward a Development Method for Interfering Programs. ACM Trans. Program. Lang. Syst. Cliff B. Jones
1981	J	`jnl`	An efficient coding system for long source sequences. IEEE Trans. Inf. Theory Cliff B. Jones
1981	—	`—`	Developing methods for computer programs including a notion of interference. Cliff B. Jones
1981	—	`conf`	Specification as a Design Base (Extended Abstract). ECI Cliff B. Jones
1980	C	`conf`	Towards More Formal Specifictations. Software Engineering Cliff B. Jones
1979	J	`jnl`	Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica Cliff B. Jones
1979	—	`conf`	Models of Programming Language Concepts. Abstract Software Specifications Cliff B. Jones
1978	—	`conf`	A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language Wolfgang Henhapl, Cliff B. Jones
1978	—	`conf`	Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. The Vienna Development Method: The Meta-Language Cliff B. Jones
1978	—	`conf`	The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language Cliff B. Jones
1978	—	`ed.`	The Vienna Development Method: The Meta-Language The Vienna Development Method: The Meta-Language Dines Bjørner, Cliff B. Jones
1977	—	`conf`	Program Specifications and Formal Development. International Computing Symposium Cliff B. Jones
1974	—	`conf`	Formal Definition in Program Development. Programming Methodology Cliff B. Jones
1972	—	`conf`	Formal development of correct algorithms: An example based on earley's recogniser. Proving Assertions About Programs Cliff B. Jones
1971	J	`jnl`	A New Approach to the 'Hidden Line' Problem. Comput. J. Cliff B. Jones
1971	J	`jnl`	A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. Wolfgang Henhapl, Cliff B. Jones
1971	—	`ch.`	Proving correctness of implementation techniques. Symposium on Semantics of Algorithmic Languages Cliff B. Jones, P. Lucas
1965	J	`jnl`	A special-purpose compiler. Comput. J. Cliff B. Jones