Newcastle University

Introduction

Cliff Jones is one of the Professors of Computing Science at Newcastle.

For more information, please see my personal web site.

http://homepages.cs.ncl.ac.uk/cliff.jones/index.html 

http://homepages.cs.ncl.ac.uk/cliff.jones/index.html 

• Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation 2007, 17(4), 807-841.
• Jones CB, Pierce KG. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing 2011, 23(3), 289-306.
• Jones CB, Roscoe AW, Wood KR, ed. Reflections on the Work of C.A.R. Hoare. London: Springer, 2010.
• Grov G, Jones CB. AI4FM: A new project seeking challenges!. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1216.
• Jones CB, Grov G, Bundy A. Ideas for a high-level proof strategy language. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1210.
• Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1186.
• Jones CB, Pierce KG. What Can the pi-calculus Tell Us About the Mondex Purse System?. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1185.
• Jones CB, Pierce KG. Elucidating Concurrent Algorithms via Layers of Abstraction and Reification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1166.
• Jones CB. From Problem Frames to HJJ (and its known unknowns). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1163.
• Jones CB. The role of auxiliary variables in the formal development of concurrent programs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1179.
• Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. A Dynamic Coalitions Workbench: Final Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
• Hughes JRD, Jones CB. Reasoning about programs via operational semantics: requirements for a support system. Automated Software Engineering 2008, 15(3-4), 299-312.
• Jones CB. Reflections on, and predictions for, support systems for the development of programs. In: 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. 2008, L'Aquila, Italy: IEEE.
• Jones CB. Some Interdisciplinary Observations about Getting the "Right" Specification. In: Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference (VSTTE 2005). 2008, Zurich, Switzerland: Springer.
• Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. In: Abstract State Machines, B and Z: First International Conference (ABZ 2008). 2008, London, UK: Springer-Verlag.
• Fitzgerald JS, Jones CB. The connection between two ways of reasoning about partial functions. Information Processing Letters 2008, 107(3-4), 128-132.
• Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules (revised). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1029.
• Coleman JW, Jones CB. Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue. Journal of Universal Computer Science 2007, 13(8), 1042-1043.
• Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. 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, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1045.
• 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.
• Butler M, Jones CB, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1032.
• Jones CB. Splitting atoms safely. Theoretical Computer Science 2007, 375(1-3), 109-119.
• Fitzgerald JS, Jones CB. The Connection between Two Ways of Reasoning about Partial Functions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1044.
• Jones CB, Liu Z, Woodcock J, ed. Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007. Berlin: Springer, 2007.
• Jones CB. Understanding programming language concepts via operational semantics. In: 4th International Colloquium on Theoretical Aspects of Computing (ITAC 2007): Training School on Domain Modeling and the Duration Calculus. 2007, Shanghai, China: Springer.
• Jones CB. Understanding programming language concepts via Operational Semantics. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1046.
• Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 987.
• Coleman JW, Jefferson NP, Jones CB. Comments on several years of teaching of modelling programming language concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 978.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Dimensions of Dynamic Coalitions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 963.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 981.
• Coleman JW, Jones CB. Guaranteeing the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 955.
• Butler M, Jones C, Romanovsky A, Troubitsyna E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006.
• Jones CB. RODIN: Intermediate report on methodology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 990.
• Jones CB, Hayes IJ, Jackson MA. Specifying systems that connect to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 964.
• Besnard D, Gacek C, Jones CB, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006.
• Jones CB. The DIRC Project as the context of this book. 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. The role of structure: a dependability perspective. 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 C, O'Hearn P, Woodcock J. Verified Software: a Grand Challenge. Computer 2006, 39(4), 93-95.
• Abdallah AE, Jones CB, Sanders JW, ed. Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004. Berlin: Springer-Verlag, 2005.
• Jones CB, Randell B. Dependable Pervasive Systems. In: Mansell, R. and Collins, B.S, ed. Trust and Crime in Information Societies. Cheltenham, UK: Edward Elgar Publishing, 2005, pp.59-90.
• Burton J, Jones CB. Investigating Atomicity and Observability. Journal of Universal Computer Science 2005, 11(5), 661-686.
• Burton J, Jones CB. Investigating Atomicity and Observability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 920.
• Jones CB. Panelist position statement: reasoning about the design of programs. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2005, 363(1835), 2395-2396.
• Butler M, Jones C, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 915.
• Jones CB. Reasoning about partial functions in the formal development of programs. In: 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005). 2005, University of Warwick, UK: Electronic Notes in Theoretical Computer Science: Elsevier.
• Coleman J, Jones C, Oliver I, Romanovsky A, Troubitsyna E. RODIN (Rigorous Open Development Environment for Complex Systems). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 896.
• Jones CB. Splitting Atoms Safely. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 883.
• 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. The Atomic Manifesto: a Story in Four Quarks. SIGMOD Record 2005, 34(1), 63-69.
• 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. The Atomic Manifesto: a Story in Four Quarks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 886.
• Coleman JW, Jefferson NP, Jones CB. Black Tie Optional: Modelling Programming Language Concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 844.
• Jones C, Randell B. Dependable Pervasive Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 839.
• Hoare T, Jones C, Randell B. Extending the Horizons of DSE (GC6). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 853.
• Jones CB. A Formal Basis for some Dependability Notions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 805.
• Jones CB. A formal basis for some dependability notions. In: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST. 2003, Lisbon, Portugal: Springer.
• Hayes I, Jackson M, Jones C. Determining the specification of a control system from that of its environment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 808.
• Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. Final Version of DSoS Conceptual Model (CSDA1). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 782.
• Jones C. Operational Semantics Revisited. In: 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering. 2003, Warsaw, Poland.
• Jones CB. Operational Semantics: concepts and their expression. Information Processing Letters 2003, 88(1-2), 27-32.
• Jones C. Operational Semantics: concepts and their expression. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 806.
• Jones C, Periorellis P, Romanovsky A, Welch I. Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems. In: Scientific Engineering for Distributed Java Applications: International Workshop (FIDJI). 2003, Luxembourg-Kirchberg, Luxembourg: Springer.
• Jones CB. The early search for tractable ways of reasoning about programs. IEEE Annals of the History of Computing 2003, 25(2), 26-49.
• Jones CB. Wanted: a Compositional Approach to Concurrency. In: McIver, A. and Morgan, C, ed. Programming Methodology. New York: Springer-Verlag, 2003, pp.5-15.
• Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 770.
• Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. In: 26th Annual International Computer Software and Applications Conference (COMPSAC). 2002, Oxford, UK: IEEE Computer Society Press.
• Dobson J, Jones C, Proctor R, Rouncefield M, Williams R. Editorial Message: Special Track on Inter-disciplinary Approaches to the Design of Dependable Computer Systems. SAC '02: Proceedings of the ACM Symposium on Applied Computing 2002, 704-705.
• Romanovsky A, Fabre JC, Issarny V, Jones C, Levy N, Marsden E, Periorellis P, Rodriguez M, Tartanoglu F, Welch I. Further Results on Architectures and Dependability Mechanisms for Dependable SoSs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 779.
• Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. In: DIRC Workshop on Open Source Software Development. 2002, University of Newcastle upon Tyne, UK: Dependability Interdisciplinary Research Collaboration (DIRC).
• Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 762.
• Randell B, Stroud R, Jones C et al. DSoS (Dependable Systems of Systems). In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
• Jones CB. On the Search for Tractable Ways of Reasoning about Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 740.
• Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. Revised Version of DSoS Conceptual Model. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
• Jones CB. The transition from VDL to VDM. Journal of Universal Computer Science 2001, 7(8), 631-640.
• Jones CB. Thinking Tools for the Future of Computing Science. In: Informatics: 10 Years Back, 10 Years Ahead. 2001, Saarbrücken, Germany: Springer-Verlag.
• Jones CB. Compositionality, Inference and Concurrency. 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. Dependability of Computer-Based Systems. In: XIV Simposia Brasiliero de Engenharia de Software (14th Brazilian Symposium on Software Engineering) (SBES-2000). 2000, Joao Pessoa, Paraiba, Brazil.
• Collette P, Jones CB. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations. 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.
• Jones CB. Scientific Decisions which Characterise VDM. In: FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. 1999, Toulouse, France: Springer-Verlag.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. In: Bowen, J.P. and Hinchey, M.G, ed. High-Integrity System Specification and Design. London: Springer-Verlag, 1999, pp.563-581.
• Fitzgerald JS, Jones CB. A tracking system. In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.1-30.
• Jones CB, Bjorner D. Foreword. 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.
• Jones CB. Some mistakes I have made and what I have learned from them. In: Fundamental Approaches to Software Engineering: First International Conference (FASE'98). 1998, Lisbon, Portugal: Springer-Verlag.
• Fitzgerald JS, Jones CB, Lucas P, ed. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Berlin: Springer-Verlag, 1997.
• Fitzgerald JS, Jones CB. Proof in the Analysis of a Model of a Tracking System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 617.
• Jones CB. Whither formal methods? A plea to investigate new applications. In: 1st IEEE International Conference on Formal Engineering Methods (ICFEM '97). 1997, Hiroshima, Japan: IEEE Computer Society Press.
• Jones CB. A Rigorous Approach to Formal Methods. Computer 1996, 29(4), 20-21.
• Jones CB. Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 1996, 8(2), 105-122.
• Jones CB. Describing the Semantics of Concurrent Object-Oriented Languages. In: 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL 3). 1996, New Brunswick, New Jersey, USA.
• Jones CB. Foreword. In: Woodcock, J.C.P. and Davies, J, ed. Using Z: Specification, Refinement, and Proof. London: Prentice Hall, 1996.
• Clarke EM, Wing JM, et al. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 1996, 28(4), 626-643.
• Jones CB, Hodges SJ. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. In: Dagstuhl Seminar no. 9514: Object Orientation with Parallelism and Persistence. 1996, Schloss Dagstuhl, Germany: Kluwer Academic Publishers.
• Freitag B, Jones CB, Lengauer C, Schek H-J, ed. Object Orientation with Parallelism and Persistence. Boston: Kluwer Academic Publishers, 1996.
• Jones CB. Some Practical Problems and Their Influence on Semantics. In: 6th European Symposium on Programming (ESOP '96): Programming Languages and Systems. 1996, Linköping, Sweden: Springer-Verlag.
• Jones C. TANSTAAFL (with partial functions). In: CADE-13 Workshop on the Mechanization of Partial Functions. 1996, Rutgers University, New Brunswick, NJ, USA.
• Gurd JR, Jones CB. The Global-yet-Personal Information System. In: Wand, I. and Milner, R, ed. Computing Tomorrow: Future research directions in computer science. Cambridge: Cambridge University Press, 1996, pp.127-157.
• Collette P, Jones CB. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Manchester: Manchester University, 1995. UMCS-95-10-3.
• Jones CB. Fixing the semantics of some concurrent object-oriented concepts. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
• Jones CB. Granularity and the development of concurrent programs. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
• Jones CB. Lessons from the development of a concurrent program: formality as a guide to intuition. In: 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95). 1995, Warsaw, Poland.
• Jones CB. Partial Functions and Logics: A Warning. Information Processing Letters 1995, 54(2), 65-67.
• Jones CB, Middelburg CA. A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica 1994, 31(5), 399-430.
• Jones CB. Foreword. 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. Process Algebra Arguments about an Object-Based Notation. In: Roscoe, A.W, ed. A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall PTR, 1994, pp.231-246.
• Gurd JR, Jones CB. The global-yet-personal information system. Manchester: Manchester University, 1994. UMCS-94-4-1.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. ACM SIGSOFT Software Engineering Notes 1994, 19(3), 75-81.
• Jones CB. A pi-Calculus Semantics for an Object-Based Design Notation. In: 4th International Conference on Concurrency Theory (CONCUR '93). 1993, Hildesheim, Germany: Springer-Verlag.
• Jones CB, Middelburg CA. A typed logic of partial functions reconstructed classically. Utrecht: Utrecht University, Department of Philosophy, 1993. Logic Group Preprint Series 89.
• Jones CB, Monahan BQ. An introduction to pi-calculus. 1993.
• Jones CB. Constraining Interference in an Object-Based Design Model. In: 1993 International CAAP/FASE Joint Conference on Theory and Practice of Software Development (TAPSOFT '93). 1993, Orsay, France: Springer-Verlag.
• Jones CB. Process algebraic foundations for an object-based design notation. Manchester: Manchester University, 1993. UMCS-93-10-1.
• Jones CB. Reasoning about Interference in an Object-Based Design Method. In: 1st International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME '93). 1993, Odense, Denmark: Springer-Verlag.
• Jones CB. Reasoning about Interference in an Object-Based Design Method. In: 4th Nordic Workshop on Program Correctness. 1993, Bergen, Norway: University of Bergen, Department of Informatics.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter) 1993, 1(1), 7-30.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the differences between VDM and Z. Manchester: Manchester University, 1993. UMCS-93-8-1.
• Jones CB. VDM: une méthode rigoureuse pour le développement du logiciel. Paris: Masson, 1993.
• Jones CB, Shaw RC, Denvir T, ed. 5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992. New York: Springer-Verlag, 1992.
• Jones CB. An object-based design method for concurrent programs. Manchester: University of Manchester, 1992. UMCS-92-12-1.
• Jones CB, McCauley AM. Formal methods – selected historical references. Manchester: Manchester University, 1992. UMCS-92-12-2.
• Jones CB. The search for tractable ways of reasoning about programs. Manchester: University of Manchester, 1992. UMCS-92-4-4.
• Jones CB. What inhibits the use of formal methods?. In: 8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92). 1992, Oxford, UK.
• Jones CB. Can computer programs be trusted?. In: Calder, N, ed. Scientific Europe: Research and Technology in 20 Countries. Maastricht: Foundation Scientific Europe, 1991, pp.304-309.
• Jones CB. Does the O-O community need formal methods?. In: 4th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 4). 1991, Paris, France: Prentice-Hall.
• Jones CB. Interference resumed. In: 6th Australian Software Engineering Conference: Engineering Safe Software (ASWEC '91). 1991, Sydney, Australia: Australian Computer Society.
• Jones CB. Interference resumed. Manchester: University of Manchester, 1991. UMCS-91-5-1.
• Jones CB. Interference revisited. In: 5th Annual Z User Meeting: Z User Workshop. 1991, Oxford, UK: Springer-Verlag.
• Jones CB, Jones KD, Lindsay PA, Moore R, ed. MURAL: A Formal Development Support System. New York: Springer-Verlag, 1991.
• Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
• Jones CB. Operation quotation in VDM. London: Adelard, 1991.
• Jones CB. Some comments on (BSI) VDMSL. BSI Committee, 1991.
• Jones CB. Support tools for reification. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
• Jones CB. A small language definition. 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, Shaw RCF, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990.
• Jones CB. Consequences. 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.
• Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. In: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90). 1990, Kiel, FRG: Springer-Verlag.
• Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. Manchester: University of Manchester, 1990. UMCS 90-1-1.
• Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. Manchester: University of Manchester, 1990. UMCS-90-3-1.
• Broy M, Jones CB, ed. Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 1990. Amsterdam: North-Holland, 1990.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Queensland, Australia: Key Centre for Software Technology, Department of Computer Science, University of Queensland, 1990. 148.
• Jones CB. Systematic Software Development using VDM (2nd edition). London: Prentice Hall, 1990.
• Jones CB. Systematic software development using VDM (second edition) teaching notes. London: Prentice Hall International, 1990.
• Jones CB. Data reification. 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, ed. Essays in Computing Science. Hemel Hempstead: Prentice Hall, 1989.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Software Engineering Journal 1989, 4(6), 330-338.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Manchester: University of Manchester, 1989. UMCS-89-12-1.
• Jones CB, Lindsay PA. A Support System for Formal Reasoning: Requirements and Status. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
• Jones CB. Combining implicit/explicit function definitions in the VDM protostandard. BSI, 1988. IST/5/50 Document no. 58.
• Jones CB, Moore R. Muffin: A User Interface Design Experiment for a Theorem Proving Assistant. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
• Jones CB. Response to Arentoft and Larsen's 'Underspecification and non-determinism note'. BSI, 1988. IST/5/50 Document no. 67.
• Jones CB. Theorem proving and software engineering. Software Engineering Journal 1988, 3(1), 2-2.
• Jones CB, Moore R. An experimental user interface for a theorem proving assistant. Manchester: University of Manchester, 1987. UMCS 87-12-8.
• Jones CB. Program specification and verification in VDM. In: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design. 1987, Marktoberdorf, West Germany: Springer-Verlag.
• Jones CB. Software Development Based on Formal Methods. In: 1986 CRAI Workshop on Software Factories and Ada: Software Development and Ada. 1987, Capri, Italy: Springer-Verlag.
• Jones CB. Specyfikacje a programy I. Informatyka 1987, 10, 1-4.
• Jones CB. Specyfikacje a programy II. Informatyka 1987, 11, 2-6.
• Jones CB. Teaching notes (second version) for 'Systematic software development using VDM'. Manchester: University of Manchester, 1987. UMCS 87-12-9.
• Bjørner D, Jones CB, Mac an Airchinnigh M, Neuhold EJ, ed. VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987. Berlin: Springer-Verlag, 1987.
• Jones CB. VDM Proof Obligations and their Justification. In: 1st VDM-Europe Symposium: VDM - A Formal Method at Work (VDM '87). 1987, Brussels, Belgium: Springer-Verlag.
• Jones CB. Foreword. In: Denvir, T, ed. Introduction to Discrete Mathematics for Software Engineering. Basingstoke: Macmillan Education, 1986, pp.vii-vii.
• Jones CB, Lindsay P, Wadsworth C. IPSE 2.5 theorem proving concepts paper. Manchester University and Rutherford Appleton Laboratory, 1986. 060/00021/1.5.
• Cottam ID, Jones CB, Nipkow TN, Wills AC, Wolczko M, Yaghi A. Mule - an environment for rigorous software development. Manchester: Department of Computer Science, University of Manchester, 1986.
• Jones CB. Program specification and verification in VDM. Manchester: University of Manchester, 1986. UMCS 86-10-5.
• Jones CB. Proof obligations for data reification. In: Wissenschaftliches Symposium der IBM Deutschland GmbH: Der Informationsbegriff in Technik und Wissenschaft. 1986, Bad Neuenahr: R. Oldenbourg Verlag.
• Jones CB. Systematic program development. In: Gehani, N. and McGettrick, A.D, ed. Software Specification Techniques. Wokingham: Addison-Wesley, 1986, pp.89-110.
• Jones CB. Systematic Program Development. In: 1983 CWI Symposium on Mathematics and Computer Science, Centrum voor Wiskunde en Informatica. 1986, Amsterdam: North-Holland.
• Jones CB. Systematic Software Development Using VDM (1st edition). Englewood Cliffs, NJ: Prentice Hall International, 1986.
• Jones CB. Teaching notes for systematic software development using VDM. Manchester: University of Manchester, 1986. UMCS-86-4-2.
• Jones CB. Die Rolle abstrakter Modelle in der Informationsverarbeitung. In: Chroust, G, ed. Heinz Zemanek - ein Computerpionier. Wien: R. Oldenbourg Verlag, 1985.
• Denvir BT, Downes VA, Jones CB, Snowdon RA, Tordoff MK. IPSE 2.5 project proposal. ICL/STC-IDEC/STL/University of Manchester, 1985.
• Jones CB, Nipkow TN, Wolczo MI. MDB: A graph-like persistent database. In: Data Types and Persistence: Informal Proceedings of the First Workshop on Persistent Objects (POS -1). 1985, Appin, Scotland.
• Cottam ID, Jones CB, Nipkow T et al. Project support environments for formal methods. In: 1985 Conference on Integrated Project Support Environments. 1985, York, UK: Peter Peregrinus Ltd.
• Jones CB. Specification, verification and testing in software development. In: 1984 CSR Workshop on Software: Requirements, Specification and Testing. 1985, University of East Anglia, UK: Blackwell Scientific.
• Jones CB. The Role of Proof Obligations in Software Design. 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.
• Barringer H, Cheng JH, Jones CB. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 1984, 21(3), 251-269.
• Morris FL, Jones CB. An Early Program Proof by Alan Turing. IEEE Annals of the History of Computing 1984, 6(2), 139-143.
• Jones CB. Konstruowanie oprogramowania metodą systematyczną. Warsaw: Wydawnictwa Naukowo-Techniczne, 1984.
• Jones CB, ed. Programming Languages and Their Definition. Hans Bekic (1936-1982). Selected papers. Berlin: Springer-Verlag, 1984.
• Jones CB. Specification and verification [Foreword]. IEEE Transactions on Software Engineering 1984, SE-10(2), 126-127.
• Cottam ID, Jones CB, Nipkow T, Wills AC. Mule: A support system for formal specification and rigorous software development. In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
• Jones CB. Rigorous design: Some experiments in top-down design. In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
• Jones CB. Specification and Design of (Parallel) Programs. In: 9th IFIP World Computer Congress (Information Processing 83). 1983, Paris, France: North-Holland/IFIP.
• Jones CB. Tentative Steps Toward a Development Method for Interfering Programs. ACM Transactions on Programming Languages and Systems 1983, 5(4), 596-619.
• Barringer H, Jones CB. A survey of verification techniques for parallel programs. Manchester: University of Manchester, 1982.
• Bjørner D, Jones CB. Formal Specification and Software Development. Englewood Cliffs, NJ: Prentice Hall International, 1982.
• Jones CB. Development methods for computer programs including a notion of interference. Oxford: Programming Research Group, Computing Lab, Oxford University, 1981. PRG-25.
• Jones CB. Specification as a Design Base (Extended Abstract). In: 3rd Conference of the European Cooperation in Informatics: Trends in Information Processing Systems (ECI 81). 1981, Munich, Germany: Springer-Verlag.
• Jones CB. Towards more formal specifications. In: German ACM Symposium on 'Software Specifikation und Entwicklung' : Software Engineering – Entwurf und Specifikation. 1981, Berlin, Germany: Teubner Verlag.
• Jones CB. Models of Programming Language Concepts. In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1980, Copenhagen, Denmark: Springer-Verlag.
• Jones CB. Software Development: A Rigorous Approach. Englewood Cliffs, NJ: Prentice Hall, 1980.
• Jones CB. The role of formal specifications in software development. In: Life-Cycle Management. Maidenhead: Infotech Information Ltd, 1980, pp.117-133.
• Jones CB. Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica 1979, 11(2), 119-137.
• Bjørner D, Jones CB. The Vienna Development Method: Software abstraction principles and software architecture. In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1979, Copenhagen, Denmark.
• Henhapl W, Jones CB. A Formal Definition of Algol 60 as Described in the 1975 Modified Report. 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. Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.278-304.
• Jones CB. The META-Language: A Reference Manual. 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. The Vienna Development Method: Examples of compiler development. 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.
• Bjørner D, Jones CB, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978.
• Jones CB. Program Specifications and Formal Development. In: 1977 International Computing Symposium (ICS 77). 1977, Liège, Belgium: North-Holland.
• Jones CB. Structured design and coding: Theory versus practice. Informatie 1977, 19(6), 311-319.
• Jones CB. Formal definition in compiler development. Vienna: IBM Laboratory, 1976. 25.145.
• Jones CB. Some requirements for specification languages. In: 1976 IBM Programming Technology Symposium. 1976, IBM Yorktown Heights Research Center, USA: IBM.
• Jones CB. Some requirements for specification languages. Vienna: IBM Laboratory, 1976. LN 25.3.108.
• Jones CB. Formal Definition in Program Development. In: 4th Informatik Symposium: Programming Methodology. 1975, IBM Germany, Wildbad: Springer-Verlag.
• Bekic H, Izbicki H, Jones CB, Weissenbock F. Some experiments with using a formal language definition in compiler development. Vienna: IBM Laboratory, 1975. LN 25.3.107.
• Bekic H, Bjørner D, Henhapl W, Jones CB, Lucas P. A formal definition of a PL/I subset. Vienna: IBM Laboratory, 1974. 25.139.
• Hanford KV, Jones CB. Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages. Annual Review in Automatic Programming 1973, 7, 115-140.
• Jones CB. Formal development of programs. Hursley: IBM Laboratory, 1973. 12.117.
• Chapman DN, Jones CB. Formal development: An example using FDSS. Hursley: IBM Laboratory, 1973. TN 9007.
• Allen CD, Jones CB. The formal development of an algorithm. Hursley: IBM Laboratory, 1973. 12.110.
• Allen CD, Chapman DN, Jones CB. A formal definition of ALGOL 60. Hursley: IBM Laboratory, 1972. 12.105.
• Jones CB. Formal development of correct algorithms: an example based on Earley’s recogniser. In: ACM Conference on Proving Assertions about Programs. 1972, New Mexico State University, Las Cruces, New Mexico: ACM.
• Jones CB. Operations and formal development. Hursley: IBM Laboratory, 1972. TN 9004.
• Henhapl W, Jones CB. A Run-Time Mechanism for Referencing Variables. Information Processing Letters 1971, 1(1), 14-16.
• Jones CB. Development of correct programs: An example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. TN 9000.
• Hanford KV, Jones CB. Dynamic syntax: A concept for the definition of the syntax of programming languages. Hursley: IBM Laboratory, 1971. 12.090.
• Jones CB. Formal development of correct algorithms: an example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. 12.095.
• Jones CB, Lucas P. Proving Correctness of Implementation Techniques. In: Engeler, E, ed. Symposium on Semantics of Algorithmic Languages. Berlin: Springer-Verlag, 1971, pp.178-211.
• Jones CB. Sufficient properties for implementation correctness. Hursley: IBM Laboratory, 1971. TN 9002.
• Henhapl W, Jones CB. A run-time mechanism for referencing variables. Vienna: IBM Laboratory, 1970. LR 25.3.074.
• Jones CB. A technique for showing that two functions preserve a relation between their domains. Vienna: IBM Laboratory, 1970. LR 25.3.067.
• Henhapl W, Jones CB. On the interpretation of GOTO statements in the ULD. Vienna: IBM Laboratory, 1970. LN 25.3.065.
• Jones CB, Lucas P. Proving correctness of implementation techniques. Vienna: IBM Laboratory, 1970. 25.110.
• Henhapl W, Jones CB. Some observations on the implementation of reference mechanisms for automatic variables. Vienna: IBM Laboratory, 1970. LR 25.3.070.
• Henhapl W, Jones CB. The block concept and some possible implementations, with proofs of equivalence. Vienna: IBM Laboratory, 1970. 25.104.
• Jones CB. Yet another proof of the block concept. Vienna: IBM Laboratory, 1970. LN 25.3.075.
• Jones CB. A comparison of two approaches to language definition as bases for the construction of proofs. Vienna: IBM Laboratory, 1969. LN 25.3.050.
• Jones CB. A proof of the correctness of an interpreter based on axiom schema. Vienna: IBM Laboratory, 1969. LN 25.3.053.
• Jones CB. A proof of the correctness of some optimising techniques. Vienna: IBM Laboratory, 1969. LN 25.3.051.
• Glassover SM, Hanford KV, Jones CB. The syntax machine: A description. Hursley: IBM Laboratory, 1969. 12.078.
• Jones CB. Mathematical semantics of goto: Exit formulation and its relation to continuations. Vienna: IBM Laboratory, 1968.
• Glassover SN, Hanford KV, Jones CB. The Syntax Machine. In: 1968 IBM Programming Symposium. 1968, Atlantic City, New Jersey, USA: IBM.
• Glassover SM, Hanford KV, Jones CB. The syntax machine: An introduction. Hursley: IBM Laboratory, 1968. 12.077.
• Hanford KV, Jones CB. An Approach to Context Dependency. In: 1967 IBM Programming Symposium. 1967, Swampscott, Mass.,USA: IBM.
• Schofield PB, Jones CB. A random generator for the automatic production of executable PL/I programs (APEX). Hursley: IBM Laboratory, 1966. 12.062.
• Jones CB. A retrospective view of APEX (Automatic Production of Executable Programs). Hursley: IBM Laboratory, 1966. 12.065.
• Schofield PB, Jones CB. APEX manual. Hursley: IBM Laboratory, Hursley, 1966.
• Jones CB. A special purpose compiler. The Computer Journal 1965, 8(2), 109-112.
• Jones CB, Lovert MJ, Steggles LJ. A Semantic Analysis of Logics that Cope with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1310.
• Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
• Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing 2013. Submitted.
• Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1314.
• Velykiene R, Jones CB. A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1282.
• Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Models of Nondeterministic Expression Evaluation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1273.
• Jones CB, Lloyd JL, ed. Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday. Berlin: Springer, 2011.
• Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1272.
• Jones CB, Lovert MJ. Semantic Models for a Logic of Partial Functions. International Journal of Software and Informatics 2011, 5(1-2, part I), 55-76.
• 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. Roadmap for enhanced languages and methods to aid verification. In: Fifth International Conference on Generative Programming and Component Engineering (GPCE). 2006, Portland, Oregon: ACM Press.
• Hayes I, Jackson M, Jones C. Determining the specification of a control system from that of its environment. In: International Symposium of Formal Methods Europe (FME). 2003, Pisa, Italy: Springer.
• Dobson J, Jones C, Procter R, Rouncefield M, Williams R. Editorial message: Special track on inter-disciplinary approaches to the design of dependable computer systems. In: ACM Symposium on Applied Computing. 2002, Madrid, Spain: ACM Press.
• Jones CB. Formal methods and dependability. In: Mathematics of Program Construction 2000. 2000, Oxford, UK: Springer.
• Jones CB. Turing's "Checking a Large Routine". In: Cooper, S.B., van Leeuven, J, ed. Alan Turing: His Work and Impact. London: Elsevier, 2013, pp.455-460.
• Jones C. A specification for ACMs. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1360.
• Jones CB. Abstraction as a unifying link for formal approaches to concurrency. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1339.
• Jones CB. Abstraction as a unifying link for formal approaches to concurrency. In: Software Engineering and Formal Methods, 10th International Conference (SEFM). 2012, Thessaloniki, Greece: Springer Verlag.
• Jones CB, Lovert MJ, Steggles LJ. Investigating the Mechanisation of the Logic of Partial Functions. SCP 2012. In Preparation.
• Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1334.
• Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing. Formal Aspects of Computing 2012. Submitted.
• Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. Towards a Formalism-Based Toolkit for Automotive Applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1317.
• Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Degrees of Non-Determinism in Expression Evaluation. The Computer Journal 2013, (epub ahead of print).
• Ghmehlich R, Jones C. Experience of Deployment in the Automotive Industry. In: Romanovsky, A; Thomas, M, ed. Industrial Deployment of System Engineering Methods. Springer Verlag, 2013. In Press.
• Jones CB, Freitas L, Velykis A. Ours is to Reason Why. LNCS 2013. In Press.