Staff Profile
Emeritus Professor Cliff Jones
Emeritus Professor
- Personal Website:
Background
Introduction
Cliff Jones is a Professor of Computing Science at 缅北禁地.
Room USB 6.022
Please see my personal web site:
Research
For more information, please see my personal web site.
Publications
-
Articles
- Burns A, Jones CB. . ACM-TECS 2025, 24(6), 1-24.
- Jones CB. . Minds and Machines 2024, 34, 73–92.
- Jones CB, Burns A. . Formal Methods in System Design 2024, 62, 119-140.
- Jones CB, Thomas M. . Formal Aspects of Computing 2022, 34(1), 6.
- Jones CB, Yatapanage N. . Formal Aspects of Computing 2019, 31, 353-374.
- Burns A, Hayes IJ, Jones CB. . The Computer Journal 2019, 63(5), 774-790.
- Jones CB, Hayes IJ. . Logical and Algebraic Methods in Programming 2016, 85(Issue 5 Part 2), 972-984.
- Jones CB, Hayes IJ, Colvin RJ. . Formal Aspects of Computing 2015, 27(3), 475-497.
- Jones CB, Lovert MJ, Steggles LJ. . Science of Computer Programming 2014, 94(2), 238-252.
- Hall JW, Henriques JJ, Hickford AJ, Nicholls RJ, Baruah P, Birkin M, Chaudry M, Curtis TP, Eyre N, Jones C, Kilsby CG, Leathard A, Lorenz A, Malleson N, McLeod F, Powrie W, Preston J, Rai N, Street R, Stringfellow A, Thoung C, Tyler P, Velykiene R, Watson G, Watson JW. . Journal of Infrastructure Systems 2014, 20(3).
- Hayes IJ, Burns A, Dongol B, Jones CB. . The Computer Journal 2013, 56(6), 741-755.
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing. Formal Aspects of Computing 2012. Submitted.
- Jones CB, Lovert MJ. . International Journal of Software and Informatics 2011, 5(1-2, part I), 55-76.
- Jones CB, Pierce KG. . Formal Aspects of Computing 2011, 23(3), 289-306.
- Fitzgerald JS, Jones CB. . Information Processing Letters 2008, 107(3-4), 128-132.
- Hughes JRD, Jones CB. . Automated Software Engineering 2008, 15(3-4), 299-312.
- Jones CB. . Theoretical Computer Science 2007, 375(1-3), 109-119.
- Coleman JW, Jones CB. . Journal of Logic and Computation 2007, 17(4), 807-841.
- Jones C, O'Hearn P, Woodcock J. . Computer 2006, 39(4), 93-95.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. . SIGMOD Record 2005, 34(1), 63-69.
- Jones CB. . Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2005, 363(1835), 2395-2396.
- Burton J, Jones CB. . Journal of Universal Computer Science 2005, 11(5), 661-686.
- Burton JI, Jones CB. . Journal of Universal Computer Science 2005, 11(5), 634-635.
- Jones CB. . IEEE Annals of the History of Computing 2003, 25(2), 26-49.
- Jones CB. . Information Processing Letters 2003, 88(1-2), 27-32.
- Jones CB. . Journal of Universal Computer Science 2001, 7(8), 631-640.
- Clarke EM, Wing JM, et al. . ACM Computing Surveys 1996, 28(4), 626-643.
- Jones CB. . Formal Methods in System Design 1996, 8(2), 105-122.
- Jones CB. . Computer 1996, 29(4), 20-21.
- Jones CB. . Information Processing Letters 1995, 54(2), 65-67.
- Hayes IJ, Jones CB, Nicholls JE. . ACM SIGSOFT Software Engineering Notes 1994, 19(3), 75-81.
- Jones CB, Middelburg CA. . Acta Informatica 1994, 31(5), 399-430.
- Hayes IJ, Jones CB, Nicholls JE. . FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter) 1993, 1(1), 7-30.
- Hayes IJ, Jones CB. . Software Engineering Journal 1989, 4(6), 330-338.
- Jones CB. . Software Engineering Journal 1988, 3(1), 2-2.
- Jones CB. . Informatyka 1987, 11, 2-6.
- Jones CB. . Informatyka 1987, 10, 1-4.
- Jones CB. . IEEE Transactions on Software Engineering 1984, SE-10(2), 126-127.
- Morris FL, Jones CB. . IEEE Annals of the History of Computing 1984, 6(2), 139-143.
- Barringer H, Cheng JH, Jones CB. . Acta Informatica 1984, 21(3), 251-269.
- Jones CB. . ACM Transactions on Programming Languages and Systems 1983, 5(4), 596-619.
- Jones CB. . Acta Informatica 1979, 11(2), 119-137.
- Jones CB. . Informatie 1977, 19(6), 311-319.
- Hanford KV, Jones CB. . Annual Review in Automatic Programming 1973, 7, 115-140.
- Henhapl W, Jones CB. . Information Processing Letters 1971, 1(1), 14-16.
- Jones CB. . The Computer Journal 1965, 8(2), 109-112.
-
Authored Books
- Jones CB. . Berlin: Springer, 2020.
- Jones CB. . Paris: Masson, 1993.
- Jones CB. . London: Prentice Hall, 1990.
- Jones CB. . Englewood Cliffs, NJ: Prentice Hall International, 1986.
- Jones CB. . Warsaw: Wydawnictwa Naukowo-Techniczne, 1984.
- Bjørner D, Jones CB. . Englewood Cliffs, NJ: Prentice Hall International, 1982.
- Jones CB. . Englewood Cliffs, NJ: Prentice Hall, 1980.
-
Book Chapters
- Burns A, Jones CB. . In: The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.22-42.
- Freitas L, Buhagiar AJ, Scott III WE. . In: Ana Cavalcanti, James Baxter, ed. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Cham: Springer, 2024, pp.131-152.
- Jones CB. . In: Simon Foster, Augusto Sampaio, ed. The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.43-70.
- Jones CB. . In: Foster S; Sampaio A, ed. The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.43-70.
- Jones CB, Burns A. . In: Cassano, V; Aguirre, N; Castro, P; Demasi, R, ed. Mathematical Foundations of Software Engineering: Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement. College Publications, 2022.
- Jones CB, Misra J. Finding Effective Abstractions. In: Theories of programming: the life and works of Tony Hoare. ACM, 2021, pp.23-40. In Preparation.
- Astarte TK, Jones CB. . In: Reflections on Programming Systems. Cham: Springer, 2018, pp.83-152.
- Jones CB. . In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cambridge, UK: Springer Verlag, 2018, pp.26-43.
- Oughton EJ, Tran M, Jones CB, Ebrahimy R. . In: Jim W. Hall, Martino Tran, Adrian J. Hickford, Robert J. Nicholls, ed. The Future of National Infrastructure: A System-of-Systems Approach. Cambridge: Cambridge University Press, 2016, pp.181-202.
- Jones CB. . In: Cooper, S.B., van Leeuven, J, ed. Alan Turing: His Work and Impact. London: Elsevier, 2013, pp.455-460.
- Jones CB, Freitas L, Velykis A. . In: Liu, Z., Woodcock, J., Zhu, H, ed. Theories of Programming and Formal Methods. Berlin; New York: Springer Verlag, 2013, pp.227-243.
- Ghmehlich R, Jones C. . In: Romanovsky, A; Thomas, M, ed. Industrial Deployment of System Engineering Methods. Springer Verlag, 2013. In Press.
- Jones CB. . In: Jones, C.B., Roscoe, A.W., Wood, K.R, ed. Reflections on the Work of C.A.R. Hoare. London: Springer, 2010, pp.167-188.
- Jones CB, Roscoe AW. . In: Jones, C.B., Roscoe, A.W., Wood, K.R, ed. Reflections on the work of C.A.R. Hoare. London: Springer, 2010, pp.1-32.
- Jones CB. . In: Nuseibeh, B., Zave, P, ed. Software Requirements and Design: The Work of Michael Jackson. lulu.com: Good Friends Publishing Company, 2010, pp.357-372.
- Jones CB, Hayes IJ, Jackson MA. . In: Jones CB; Liu Z; Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007, pp.364-390.
- Jones CB, Randell B. . In: Besnard, D., Gacek , C. and Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.3-15.
- Jones CB. . In: Clarke, K., Hardstone, G., Rouncefield, M., Sommerville, I, ed. Trust in Technology: a Socio-Technical Perspective. Dordrecht: Springer, 2006, pp.217-221.
- Jones CB, Randell B. . In: Mansell, R. and Collins, B.S, ed. Trust and Crime in Information Societies. Cheltenham, UK: Edward Elgar Publishing, 2005, pp.59-90.
- Jones CB. . In: McIver, A. and Morgan, C, ed. Programming Methodology. New York: Springer-Verlag, 2003, pp.5-15.
- Collette P, Jones CB. . In: Plotkin, G.D., Stirling, C.P. and Tofte, M, ed. Proof, Language and Interaction: Essays in Honour of Robin Milner. Cambridge, MA, USA: MIT Press, 2000, pp.277-307.
- Hayes IJ, Jones CB. . In: Bowen, J.P. and Hinchey, M.G, ed. High-Integrity System Specification and Design. London: Springer-Verlag, 1999, pp.563-581.
- Jones CB, Bjorner D. . In: Fitzgerald, J.S. and Larsen, P.G, ed. Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge: Cambridge University Press, 1998, pp.ix-x.
- Fitzgerald JS, Jones CB. . In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.1-30.
- Gurd JR, Jones CB. . In: Wand, I. and Milner, R, ed. Computing Tomorrow: Future research directions in computer science. Cambridge: Cambridge University Press, 1996, pp.127-157.
- Jones CB. . In: Woodcock, J.C.P. and Davies, J, ed. Using Z: Specification, Refinement, and Proof. London: Prentice Hall, 1996.
- Jones CB. . In: Roscoe, A.W, ed. A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall PTR, 1994, pp.231-246.
- Jones CB. . In: Bicarregui, J.C., Fitzgerald, J.S., Lindsay, P.A., Moore, R. and Ritchie, B, ed. Proof in VDM: A Practitioner's Guide. Berlin: Springer-Verlag, 1994, pp.v-vi.
- Jones CB. . In: Calder, N, ed. Scientific Europe: Research and Technology in 20 Countries. Maastricht: Foundation Scientific Europe, 1991, pp.304-309.
- Jones CB. . In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.220-225.
- Jones CB. . In: Jones, C.B. and Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990, pp.235-256.
- Jones CB. . In: McDermid, J.A, ed. The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. London: Butterworths, 1989, pp.79-89.
- Jones CB. . In: Gehani, N. and McGettrick, A.D, ed. Software Specification Techniques. Wokingham: Addison-Wesley, 1986, pp.89-110.
- Jones CB. . In: Denvir, T, ed. Introduction to Discrete Mathematics for Software Engineering. Basingstoke: Macmillan Education, 1986, pp.vii-vii.
- Jones CB. . In: Chroust, G, ed. Heinz Zemanek - ein Computerpionier. Wien: R. Oldenbourg Verlag, 1985.
- Jones CB. . In: Life-Cycle Management. Maidenhead: Infotech Information Ltd, 1980, pp.117-133.
- Jones CB. . In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.218-277.
- Jones CB. . In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.278-304.
- Henhapl W, Jones CB. . In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.305-336.
- Jones CB, Lucas P. . In: Engeler, E, ed. Symposium on Semantics of Algorithmic Languages. Berlin: Springer-Verlag, 1971, pp.178-211.
-
Conference Proceedings (inc. Abstracts)
- Hayes IJ, Jones CB, Meinicke LM. . In: Theories of Programming and Formal Methods. 2023, Shanghai: Springer.
- Burns A, Jones CB. . In: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). 2022, Modena: Leibniz-Zentrum für Informatik.
- Jones CB. . In: 13th Conference on Computability in Europe (CiE 2017). 2017, Turku, Finland: Springer Verlag.
- Jones CB, Velykis A, Yatapanage N. . In: 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA). 2017, Changsha, China: Springer Verlag.
- Jones CB, Astarte TK. . In: Third International School on Engineering Trustworthy Software Systems (SETSS 2017). 2017, Chongqing, China: Springer.
- Jones CB, Yatapanage N. . In: 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). 2015, York, UK: Springer.
- Jones CB, Yatapanage N. . In: Software Engineering and Formal Methods: 13th International Conference (SEFM 2015). 2015, York, UK: Springer International Publishing.
- Ciancia V, Martinelli F, Ilaria M, Morisset C. . In: 6th International Symposium on Foundations and Practice of Security (FPS 2013). 2014, La Rochelle, France: Springer.
- Iliasov A, Lopatkin I, Romanovsky A. . In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2014, Paris, France: Springer.
- Satvat K, Forshaw M, Hao F, Toreini E. . In: 8th International Workshop on Data Privacy Management and Autonomous Spontaneous Security (DPM 2013). 2014, Egham, UK: Springer.
- Morisset C, Gross T, van Moorsel A, Yevseyeva I. . In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer.
- Crampton J, Morisset C. . In: 10th International Workshop on Security and Trust Management (STM 2014). 2014, Wroclaw, Poland: Springer Verlag.
- Coopamootoo KPL, Gross T. . In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer Verlag.
- Sinmai K, Andras P. . In: 20th International Conference on Collaboration and Technology (CRIWG 2014). 2014, Santiago, Chile: Springer Verlag.
- Osorio C, Papagiannidis S. . In: First International Conference on HCI in Business (HCIB 2014). 2014, Crete, Greece: Springer Verlag.
- Modesti P. . In: 10th International Workshop on Security and Trust Management (STM). 2014, Switzerland: Springer, Cham.
- Freitas L, Jones CB, Velykis A. . In: HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday. 2014, EasyChair.
- Freitas L, Jones CB, Velykis A, Whiteside I. . In: VSTTE 2014: Verified Software: Theories, Tools and Experiments. 2014, Vienna, Austria: Springer, Cham.
- Hao F. . In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
- Hao F, Clarke D, Shepherd C. . In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
- Dietrich D, Whiteside I, Aspinall D. . In: LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning. 2013, Stellenbosch, South Africa: Springer.
- Jones CB. . In: 18th International Conference on Engineering of Complex Computer Systems (ICECCS). 2013, Singapore, Southeast Asia: IEEE.
- Jones CB. . In: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012. 2012, Thessaloniki, Greece: Springer Verlag.
- Jones CB, Pierce KG. . In: Abstract State Machines, B and Z: First International Conference (ABZ 2008). 2008, London, UK: Springer-Verlag.
- Jones CB. . In: Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference (VSTTE 2005). 2008, Zurich, Switzerland: Springer.
- Jones CB. . In: 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. 2008, L'Aquila, Italy: IEEE.
- Jones CB. . In: 4th International Colloquium on Theoretical Aspects of Computing (ITAC 2007): Training School on Domain Modeling and the Duration Calculus. 2007, Shanghai, China: Springer.
- Leavens GT, Abrial J-R, Batory D, Butler M, Coglio A, Fisler K, Hehner E, Jones C, Miller D, Peyton-Jones S, Sitaraman M, Smith DR, Stump A. . In: Fifth International Conference on Generative Programming and Component Engineering (GPCE). 2006, Portland, Oregon: ACM Press.
- Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. . In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
- Jones CB. . In: 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005). 2005, University of Warwick, UK: Electronic Notes in Theoretical Computer Science: Elsevier.
- Jones C, Periorellis P, Romanovsky A, Welch I. . In: Scientific Engineering for Distributed Java Applications: International Workshop (FIDJI). 2003, Luxembourg-Kirchberg, Luxembourg: Springer.
- Jones C. . In: 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering. 2003, Warsaw, Poland.
- Hayes I, Jackson M, Jones C. . In: International Symposium of Formal Methods Europe (FME). 2003, Pisa, Italy: Springer.
- Jones CB. . In: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST. 2003, Lisbon, Portugal: Springer.
- Lawrie AT, Jones CB. . In: DIRC Workshop on Open Source Software Development. 2002, University of 缅北禁地 upon Tyne, UK: Dependability Interdisciplinary Research Collaboration (DIRC).
- Dobson J, Jones C, Procter R, Rouncefield M, Williams R. . In: ACM Symposium on Applied Computing. 2002, Madrid, Spain: ACM Press.
- Jones C, Romanovsky A, Welch I. . In: 26th Annual International Computer Software and Applications Conference (COMPSAC). 2002, Oxford, UK: IEEE Computer Society Press.
- Jones CB. . In: Informatics: 10 Years Back, 10 Years Ahead. 2001, Saarbrücken, Germany: Springer-Verlag.
- Randell B, Stroud R, Jones C et al. . In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
- Jones CB. . In: Mathematics of Program Construction 2000. 2000, Oxford, UK: Springer.
- Jones CB. . In: XIV Simposia Brasiliero de Engenharia de Software (14th Brazilian Symposium on Software Engineering) (SBES-2000). 2000, Joao Pessoa, Paraiba, Brazil.
- Jones CB. . In: 1999 Oxford-Microsoft Symposium in honour of Professor Sir Tony Hoare: Millennial Perspectives in Computer Science. 2000, St. Catherine's College, Oxford University, UK: Palgrave Macmillan.
- Jones CB. . In: FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. 1999, Toulouse, France: Springer-Verlag.
- Jones CB. . In: Fundamental Approaches to Software Engineering: First International Conference (FASE'98). 1998, Lisbon, Portugal: Springer-Verlag.
- Jones CB. . In: 1st IEEE International Conference on Formal Engineering Methods (ICFEM '97). 1997, Hiroshima, Japan: IEEE Computer Society Press.
- Jones C. . In: CADE-13 Workshop on the Mechanization of Partial Functions. 1996, Rutgers University, New Brunswick, NJ, USA.
- Jones CB. . In: 6th European Symposium on Programming (ESOP '96): Programming Languages and Systems. 1996, Linköping, Sweden: Springer-Verlag.
- Jones CB, Hodges SJ. . In: Dagstuhl Seminar no. 9514: Object Orientation with Parallelism and Persistence. 1996, Schloss Dagstuhl, Germany: Kluwer Academic Publishers.
- Jones CB. . In: 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL 3). 1996, New Brunswick, New Jersey, USA.
- Jones CB. . In: 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95). 1995, Warsaw, Poland.
- Jones CB. . In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
- Jones CB. . In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
- Jones CB. . In: 1st International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME '93). 1993, Odense, Denmark: Springer-Verlag.
- Jones CB. . In: 4th Nordic Workshop on Program Correctness. 1993, Bergen, Norway: University of Bergen, Department of Informatics.
- Jones CB. . In: 1993 International CAAP/FASE Joint Conference on Theory and Practice of Software Development (TAPSOFT '93). 1993, Orsay, France: Springer-Verlag.
- Jones CB. . In: 4th International Conference on Concurrency Theory (CONCUR '93). 1993, Hildesheim, Germany: Springer-Verlag.
- Jones CB. . In: 8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92). 1992, Oxford, UK.
- Jones CB. . In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
- Cheng JH, Jones CB. . In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
- Jones CB. . In: 5th Annual Z User Meeting: Z User Workshop. 1991, Oxford, UK: Springer-Verlag.
- Jones CB. . In: 6th Australian Software Engineering Conference: Engineering Safe Software (ASWEC '91). 1991, Sydney, Australia: Australian Computer Society.
- Jones CB. . In: 4th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 4). 1991, Paris, France: Prentice-Hall.
- Fitzgerald JS, Jones CB. . In: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90). 1990, Kiel, FRG: Springer-Verlag.
- Jones CB, Moore R. . In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
- Jones CB, Lindsay PA. . In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
- Jones CB. . In: 1st VDM-Europe Symposium: VDM - A Formal Method at Work (VDM '87). 1987, Brussels, Belgium: Springer-Verlag.
- Jones CB. . In: 1986 CRAI Workshop on Software Factories and Ada: Software Development and Ada. 1987, Capri, Italy: Springer-Verlag.
- Jones CB. . In: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design. 1987, Marktoberdorf, West Germany: Springer-Verlag.
- Jones CB. . In: 1983 CWI Symposium on Mathematics and Computer Science, Centrum voor Wiskunde en Informatica. 1986, Amsterdam: North-Holland.
- Jones CB. . In: Wissenschaftliches Symposium der IBM Deutschland GmbH: Der Informationsbegriff in Technik und Wissenschaft. 1986, Bad Neuenahr: R. Oldenbourg Verlag.
- Jones CB. . In: Colloquium on Software Engineering (CSE) at the International Joint Conference on Theory and Practice of Software Development: Mathematical Foundations of Software Development (TAPSOFT). 1985, Berlin, Germany: Springer-Verlag.
- Jones CB. . In: 1984 CSR Workshop on Software: Requirements, Specification and Testing. 1985, University of East Anglia, UK: Blackwell Scientific.
- Cottam ID, Jones CB, Nipkow T et al. . In: 1985 Conference on Integrated Project Support Environments. 1985, York, UK: Peter Peregrinus Ltd.
- Jones CB, Nipkow TN, Wolczo MI. . In: Data Types and Persistence: Informal Proceedings of the First Workshop on Persistent Objects (POS -1). 1985, Appin, Scotland.
- Jones CB. . In: 9th IFIP World Computer Congress (Information Processing 83). 1983, Paris, France: North-Holland/IFIP.
- Jones CB. . In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
- Cottam ID, Jones CB, Nipkow T, Wills AC. . In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
- Jones CB. . In: German ACM Symposium on 'Software Specifikation und Entwicklung' : Software Engineering – Entwurf und Specifikation. 1981, Berlin, Germany: Teubner Verlag.
- Jones CB. . In: 3rd Conference of the European Cooperation in Informatics: Trends in Information Processing Systems (ECI 81). 1981, Munich, Germany: Springer-Verlag.
- Jones CB. . In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1980, Copenhagen, Denmark: Springer-Verlag.
- Bjørner D, Jones CB. . In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1979, Copenhagen, Denmark.
- Jones CB. . In: 1978 EEC-IRIA-CREST Conference on State of the Art and Future Trends in Compilation: Le Point sur la Compilation. 1978, Montpellier, France: IRIA, Le Chesnay.
- Jones CB. . In: 1977 International Computing Symposium (ICS 77). 1977, Liège, Belgium: North-Holland.
- Jones CB. . In: 1976 IBM Programming Technology Symposium. 1976, IBM Yorktown Heights Research Center, USA: IBM.
- Jones CB. . In: 4th Informatik Symposium: Programming Methodology. 1975, IBM Germany, Wildbad: Springer-Verlag.
- Jones CB. . In: ACM Conference on Proving Assertions about Programs. 1972, New Mexico State University, Las Cruces, New Mexico: ACM.
- Glassover SN, Hanford KV, Jones CB. . In: 1968 IBM Programming Symposium. 1968, Atlantic City, New Jersey, USA: IBM.
- Hanford KV, Jones CB. . In: 1967 IBM Programming Symposium. 1967, Swampscott, Mass.,USA: IBM.
-
Edited Books
- Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. . Cham: Springer, 2022.
- Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. . Cham: Springer, 2022.
- Jones CB, Misra J, ed. . New York: ACM, 2021.
- Jones CB, Lloyd JL, ed. . Berlin: Springer, 2011.
- Jones CB, Roscoe AW, Wood KR, ed. . London: Springer, 2010.
- Jones CB, Liu Z, Woodcock J, ed. . Berlin: Springer, 2007.
- Jones CB, Liu Z, Woodcock J, ed. . Berlin: Springer-Verlag, 2007.
- Besnard D, Gacek C, Jones CB, ed. . London: Springer-Verlag, 2006.
- Butler M, Jones C, Romanovsky A, Troubitsyna E, ed. . Berlin: Springer-Verlag, 2006.
- Abdallah AE, Jones CB, Sanders JW, ed. . Berlin: Springer-Verlag, 2005.
- Fitzgerald JS, Jones CB, Lucas P, ed. . Berlin: Springer-Verlag, 1997.
- Freitag B, Jones CB, Lengauer C, Schek H-J, ed. . Boston: Kluwer Academic Publishers, 1996.
- Jones CB, Shaw RC, Denvir T, ed. . New York: Springer-Verlag, 1992.
- Jones CB, Jones KD, Lindsay PA, Moore R, ed. . New York: Springer-Verlag, 1991.
- Broy M, Jones CB, ed. . Amsterdam: North-Holland, 1990.
- Jones CB, Shaw RCF, ed. . London: Prentice Hall, 1990.
- Jones CB, ed. . Hemel Hempstead: Prentice Hall, 1989.
- Bjørner D, Jones CB, Mac an Airchinnigh M, Neuhold EJ, ed. . Berlin: Springer-Verlag, 1987.
- Jones CB, ed. . Berlin: Springer-Verlag, 1984.
- Bjørner D, Jones CB, ed. . Berlin: Springer-Verlag, 1978.
-
Editorials
- Jones C, Romanovsky A. . Science of Computer Programming 2014, 82, 1-1.
- Coleman JW, Jones CB. . Journal of Universal Computer Science 2007, 13(8), 1042-1043.
- Dobson J, Jones C, Proctor R, Rouncefield M, Williams R. . SAC '02: Proceedings of the ACM Symposium on Applied Computing 2002, 704-705.
-
Notes
- Jones CB. . Minds and Machines 2025, 35(45).
- Jones CB. . Formal Aspects of Computing 2015, 27(2), 237-237.
-
Online Publications
- Hayes IJ, Jones CB, Meinicke LA. . Formal Aspects of Computing 2026, epub ahead of print.
- Hayes IJ, Meinicke LA, Jones CB. . arXiv, 2026. Available at: .
- Meinicke LA, Hayes IJ, Jones CB. Data reification in a concurrent rely-guarantee algebra. arXiv, 2026. In Preparation.
-
Reports
- Jones CB. . 缅北禁地, 2019. School of Computing Technical Report Series 1531.
- Jones C, Yatapanage Nisansala. . 缅北禁地 upon Tyne: School of Computing, 缅北禁地, 2018. School of Computing Technical Report Series 1521.
- Bhattacharyya A, Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2017. School of Computing Science Technical Report Series 1506.
- Jones CB, Astarte TK. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2017. School of Computing Science Technical Report Series 1516.
- Astarte T, Jones C. . 缅北禁地: School of Computing Science, University of 缅北禁地 upon Tyne, 2016. School of Computing Science Technical Report Series 1498.
- Li B, Koutny M. . University of 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1463.
- Jones C, Yatapanage N. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1447.
- Li B, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1448.
- Jones CB, Yatapanage N. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1472.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1441.
- Jones CB, Lovert MJ, Steggles LJ. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1414.
- Hayes IJ, Jones CB, Colvin RJ. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1425.
- Janicki R, Kleijn J, Koutny M, Mikulski L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1436.
- Dias D, Freitas L, Jones C. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1415.
- Hayes IJ, Jones CB, Colvin RJ. . 缅北禁地 upon Tyne: 缅北禁地, 2013. School of Computing Science Technical Report Series 1395.
- Freitas L, Jones CB, Velykis A, Whiteside I. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1398.
- Jones CB. . 缅北禁地 upon Tyne: 缅北禁地, 2013. School of Computing Science Technical Report Series 1394.
- Jones CB, Lovert MJ, Steggles LJ. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1314.
- Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1317.
- Hayes IJ, Jones CB, Colvin RJ. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1334.
- Mazzara M, Jones C, Iliasov A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
- Hao F, Clarke D. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1364.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1339.
- Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1342.
- Jones C. . 缅北禁地 upon Tyne: 缅北禁地, 2012. School of Computing Science Technical Report Series 1360.
- Jones CB, Lovert MJ, Steggles LJ. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1310.
- Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1272.
- Hayes IJ, Burns A, Dongol B, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1273.
- Velykiene R, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1282.
- Jones CB, Pierce KG. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1185.
- Jones CB, Pierce KG. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1186.
- Jones CB, Grov G, Bundy A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1210.
- Grov G, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1216.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1179.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1163.
- Jones CB, Pierce KG. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1166.
- Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1046.
- Fitzgerald JS, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1044.
- Butler M, Jones CB, Romanovsky A, Troubitsyna E. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1032.
- Jones CB, Hayes IJ, Jackson MA. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1045.
- Coleman JW, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1029.
- Jones CB, Hayes IJ, Jackson MA. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 964.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 990.
- Coleman JW, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 955.
- Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 981.
- Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 963.
- Coleman JW, Jefferson NP, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 978.
- Coleman JW, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 987.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel MC, Korth H F, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 886.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 883.
- Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 892.
- Coleman J, Jones C, Oliver I, Romanovsky A, Troubitsyna E. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 896.
- Butler M, Jones C, Romanovsky A, Troubitsyna E. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 915.
- Burton J, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 920.
- Hoare T, Jones C, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 853.
- Jones C, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 839.
- Coleman JW, Jefferson NP, Jones CB. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 844.
- Jones C. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 806.
- Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 782.
- Hayes I, Jackson M, Jones C. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 808.
- Lawrie AT, Jones CB. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 762.
- Romanovsky A, Fabre JC, Issarny V, Jones C, Levy N, Marsden E, Periorellis P, Rodriguez M, Tartanoglu F, Welch I. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 779.
- Jones C, Romanovsky A, Welch I. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 770.
- Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
- Jones CB. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 740.
- Fitzgerald JS, Jones CB. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 617.
- Collette P, Jones CB. . Manchester: Manchester University, 1995. UMCS-95-10-3.
- Gurd JR, Jones CB. . Manchester: Manchester University, 1994. UMCS-94-4-1.
- Hayes IJ, Jones CB, Nicholls JE. . Manchester: Manchester University, 1993. UMCS-93-8-1.
- Jones CB. . Manchester: Manchester University, 1993. UMCS-93-10-1.
- Jones CB, Monahan BQ. . 1993.
- Jones CB, Middelburg CA. . Utrecht: Utrecht University, Department of Philosophy, 1993. Logic Group Preprint Series 89.
- Jones CB. . Manchester: University of Manchester, 1992. UMCS-92-4-4.
- Jones CB, McCauley AM. . Manchester: Manchester University, 1992. UMCS-92-12-2.
- Jones CB. . Manchester: University of Manchester, 1992. UMCS-92-12-1.
- Jones CB. . BSI Committee, 1991.
- Jones CB. . London: Adelard, 1991.
- Jones CB. . Manchester: University of Manchester, 1991. UMCS-91-5-1.
- Jones CB. . London: Prentice Hall International, 1990.
- Hayes IJ, Jones CB. . Queensland, Australia: Key Centre for Software Technology, Department of Computer Science, University of Queensland, 1990. 148.
- Cheng JH, Jones CB. . Manchester: University of Manchester, 1990. UMCS-90-3-1.
- Fitzgerald JS, Jones CB. . Manchester: University of Manchester, 1990. UMCS 90-1-1.
- Hayes IJ, Jones CB. . Manchester: University of Manchester, 1989. UMCS-89-12-1.
- Jones CB. . BSI, 1988. IST/5/50 Document no. 67.
- Jones CB. . BSI, 1988. IST/5/50 Document no. 58.
- Jones CB. . Manchester: University of Manchester, 1987. UMCS 87-12-9.
- Jones CB, Moore R. . Manchester: University of Manchester, 1987. UMCS 87-12-8.
- Jones CB. . Manchester: University of Manchester, 1986. UMCS-86-4-2.
- Jones CB. . Manchester: University of Manchester, 1986. UMCS 86-10-5.
- Cottam ID, Jones CB, Nipkow TN, Wills AC, Wolczko M, Yaghi A. . Manchester: Department of Computer Science, University of Manchester, 1986.
- Jones CB, Lindsay P, Wadsworth C. . Manchester University and Rutherford Appleton Laboratory, 1986. 060/00021/1.5.
- Denvir BT, Downes VA, Jones CB, Snowdon RA, Tordoff MK. . ICL/STC-IDEC/STL/University of Manchester, 1985.
- Barringer H, Jones CB. . Manchester: University of Manchester, 1982.
- Jones CB. . Oxford: Programming Research Group, Computing Lab, Oxford University, 1981. PRG-25.
- Jones CB. . Vienna: IBM Laboratory, 1976. LN 25.3.108.
- Jones CB. . Vienna: IBM Laboratory, 1976. 25.145.
- Bekic H, Izbicki H, Jones CB, Weissenbock F. . Vienna: IBM Laboratory, 1975. LN 25.3.107.
- Bekic H, Bjørner D, Henhapl W, Jones CB, Lucas P. . Vienna: IBM Laboratory, 1974. 25.139.
- Allen CD, Jones CB. . Hursley: IBM Laboratory, 1973. 12.110.
- Chapman DN, Jones CB. . Hursley: IBM Laboratory, 1973. TN 9007.
- Jones CB. . Hursley: IBM Laboratory, 1973. 12.117.
- Jones CB. . Hursley: IBM Laboratory, 1972. TN 9004.
- Allen CD, Chapman DN, Jones CB. . Hursley: IBM Laboratory, 1972. 12.105.
- Jones CB. . Hursley: IBM Laboratory, 1971. TN 9002.
- Jones CB. . Hursley: IBM Laboratory, 1971. 12.095.
- Hanford KV, Jones CB. . Hursley: IBM Laboratory, 1971. 12.090.
- Jones CB. . Hursley: IBM Laboratory, 1971. TN 9000.
- Jones CB. . Vienna: IBM Laboratory, 1970. LN 25.3.075.
- Henhapl W, Jones CB. . Vienna: IBM Laboratory, 1970. 25.104.
- Henhapl W, Jones CB. . Vienna: IBM Laboratory, 1970. LR 25.3.070.
- Jones CB, Lucas P. . Vienna: IBM Laboratory, 1970. 25.110.
- Henhapl W, Jones CB. . Vienna: IBM Laboratory, 1970. LN 25.3.065.
- Jones CB. . Vienna: IBM Laboratory, 1970. LR 25.3.067.
- Henhapl W, Jones CB. . Vienna: IBM Laboratory, 1970. LR 25.3.074.
- Glassover SM, Hanford KV, Jones CB. . Hursley: IBM Laboratory, 1969. 12.078.
- Jones CB. . Vienna: IBM Laboratory, 1969. LN 25.3.051.
- Jones CB. . Vienna: IBM Laboratory, 1969. LN 25.3.053.
- Jones CB. . Vienna: IBM Laboratory, 1969. LN 25.3.050.
- Glassover SM, Hanford KV, Jones CB. . Hursley: IBM Laboratory, 1968. 12.077.
- Jones CB. . Vienna: IBM Laboratory, 1968.
- Schofield PB, Jones CB. . Hursley: IBM Laboratory, Hursley, 1966.
- Jones CB. . Hursley: IBM Laboratory, 1966. 12.065.
- Schofield PB, Jones CB. . Hursley: IBM Laboratory, 1966. 12.062.