[1] D. Bjørner and C. B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. Springer-Verlag, 1978. [ bib | DOI | http ]
[2] C. B. Jones. Software Development: A Rigorous Approach. Prentice Hall International, Englewood Cliffs, N.J., USA, 1980. [ bib ]
[3] Dines Bjørner and Cliff B. Jones, editors. Formal Specification and Software Development. Prentice Hall International, 1982. [ bib | http ]
[4] H. Bekič and C. B. Jones, editors. Programming Languages and Their Definition: Selected Papers of H. Bekič, volume 177 of Lecture Notes in Computer Science. Springer-Verlag, 1984. [ bib | DOI | http ]
[5] C. B. Jones. Konstruowanie oprogramowania metoda systematyczna. Wydawnictwa Naukowo-Techniczne, Warsaw, 1984. Translation of [2]. [ bib ]
[6] C. B. Jones. Systematic Software Development Using VDM. Prentice Hall International, 1986. [ bib ]
[7] D. Bjørner, C. B. Jones, M. Mac an Airchinnigh, and E. J. Neuhold, editors. VDM - A Formal Definition at Work, volume 252 of Lecture Notes in Computer Science. Springer-Verlag, 1987. [ bib | DOI | http ]
[8] C. A. R. Hoare and C. B. Jones. Essays in Computing Science. Prentice Hall International, Hemel Hempstead, UK, 1989. [ bib | http ]
[9] C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, second edition, 1990. [ bib | .pdf ]
[10] C. B. Jones and R. C. F. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall International, 1990. [ bib | .pdf ]
[11] M. Broy and C. B. Jones, editors. Programming Concepts and Methods. North-Holland, 1990. [ bib ]
[12] C. B. Jones, K. D. Jones, P. A. Lindsay, and R. Moore. mural: A Formal Development Support System. Springer-Verlag, 1991. [ bib | .pdf ]
[13] C. B. Jones, R. C. Shaw, and T. Denvir, editors. 5th Refinement Workshop. Springer-Verlag, 1992. [ bib ]
[14] C. B. Jones. VDM: Une méthode rigoureuse pour le développment du logiciel. Masson, Paris, 1993. Translation of [9]. [ bib ]
[15] Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek, editors. Object Orientation with Parallelism and Persistence. Kluwer Academic Publishers, 1996. [ bib ]
[16] John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors. FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science. Springer-Verlag, 1997. [ bib | DOI | http ]
[17] John Dobson, Cliff Jones, Rob Procter, Mark Rouncefiled, and Robin Williams, editors. Interdisciplinary approaches to the design of dependable computer systems. ACM, Proceedings of the 2002 ACM symposium on Applied Computing, Madrid, 2002. [ bib | http ]
[18] Ali E. Abdallah, Cliff B. Jones, and Jeff W. Sanders, editors. Communicating Sequential Processes: the First 25 years, volume 3525 of Lecture Notes in Computer Science. Springer, 2005. [ bib | DOI | http ]
[19] M. Butler, C. B. Jones, A. Romanovsky, and E. Troubitsyna. Proceedings of the workshop on rigorous engineering of fault-tolerant systems (REFT 2005). Technical Report CS-TR-915, ISSN 1368-1060, School of Computing Science, University of Newcastle, June 2005. [ bib | .pdf ]
[20] D. Besnard, C. Gacek, and C. B. Jones, editors. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer, 2006. [ bib | http ]
[21] M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, editors. Rigorous Development of Complex Fault-Tolerant Systems, volume 4157 of Lecture Notes in Computer Science. Springer, 2006. [ bib | DOI | http ]
[22] Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays, volume 4700 of Lecture Notes in Computer Science. Springer, 2007. [ bib | DOI | http ]
[23] Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors. Theoretical Aspects of Computing - ICTAC 2007. Number 4711 in Lecture Notes in Computer Science. Springer, 2007. [ bib | DOI | http ]
[24] Michael Butler, Cliff Jones, Alexander Romanovsky, and Elena Troubitsyna, editors. Methods, Models and Tools for Fault-Tolerance, volume 5454 of Lecture Notes in Computer Science. Springer, 2009. [ bib | DOI | http ]
[25] Cliff B. Jones, A. W. Roscoe, and Kenneth R. Wood, editors. Reflections on the work of C.A.R. Hoare. Springer, 2010. [ bib | DOI | http ]
[26] C. B. Jones. A special purpose compiler. BCS Computer Journal, 8(2):109-112, July 1965. [ bib | DOI ]
[27] K. V. Hanford and C. B. Jones. An approach to context dependency. In Programming Symposium, Swampscott, Mass., pages 199-212. IBM, 1967. TR 00.1600 (Vol. II). [ bib ]
[28] S. N. Glassover, K. V. Hanford, and C. B. Jones. The syntax machine. In Programming Symposium, Atlantic City, New Jersey, pages 179-186. IBM, 1968. [ bib ]
[29] C. B. Jones and P. Lucas. Proving correctness of implementation techniques. In E. Engeler, editor, A Symposium on Algorithmic Languages, volume 188 of Lecture Notes in Mathematics, pages 178-211. Springer-Verlag, 1971. [ bib | DOI | http ]
[30] C. B. Jones. Formal development of correct algorithms: an example based on Earley's recogniser. In SIGPLAN Notices, Volume 7 Number 1, pages 150-169. ACM, January 1972. [ bib | http ]
[31] W. Henhapl and C. B. Jones. A run-time mechanism for referencing variables. Information Processing Letters, 1(1):14-16, 1971. [ bib | DOI ]
[32] K. V. Hanford and C. B. Jones. Dynamic syntax: A concept for the definition of the syntax of programming languages. In Annual Review in Automatic Programming, volume 7, pages 115-140. Pergamon, 1973. [ bib | DOI | http ]
[33] C. B. Jones. Formal definition in program development. In Programming Methodology, volume 23 of Lecture Notes in Computer Science, pages 387-443. Springer-Verlag, 1975. [ bib | DOI | http ]
[34] C. B. Jones. Some requirements for specification languages. In Programming Technology Symposium, pages 13-18. IBM, 1976. RA 77. [ bib ]
[35] C. B. Jones. Structured design and coding: Theory versus practice. Informatie, 19(6):311-319, June 1977. [ bib ]
[36] C. B. Jones. Program specification and formal development. In E. Morlet and D. Ribbens, editors, International Computing Symposium 1977, pages 537-553. North-Holland, 1977. [ bib ]
[37] Cliff B. Jones. The meta-language: A reference manual. In Bjørner and Jones [1], pages 218-277. [ bib | DOI | http ]
[38] Cliff B. Jones. Denotational semantics of goto: An exit formulation and its relation to continuations. In Bjørner and Jones [1], pages 278-304. [ bib | DOI | http ]
[39] Wolfgang Henhapl and Cliff B. Jones. A formal definition of ALGOL 60 as described in the 1975 modified report. In Bjørner and Jones [1], pages 305-336. [ bib | DOI | http ]
[40] C. B. Jones. Constructing a theory of a data structure as an aid to program development. Acta Informatica, 11:119-137, 1979. [ bib | DOI | http ]
[41] C. B. Jones. The Vienna Development Method: Examples of compiler development. In M. Amirchahy and D. Neel, editors, Le Point sur la Compilation, pages 89-114. IRIA-SEFI, 1979. [ bib ]
[42] C. B. Jones. Models of programming language concepts. In Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science, pages 100-143. Springer-Verlag, 1980. [ bib | DOI | http ]
[43] C. B. Jones. The role of formal specifications in software development. In State of the Art Report: Life-Cycle Management, volume 8, pages 117-133. Infotech, 1980. [ bib ]
[44] C. B. Jones. Formal methods in software development. In Proceedings of State of the Art Review 1981, pages 107-113. Infotech, 1981. [ bib ]
[45] C. B. Jones. Towards more formal specifications. In C. Floyd and H. Kopetz, editors, Software Engineering - Entwurf und Specifikation, pages 19-45. Teubner Verlag, 1981. [ bib ]
[46] C. B. Jones. Specification as a design base. In Trends in Information Processing, volume 123 of Lecture Notes in Computer Science, pages 103-105. Springer-Verlag, 1981. [ bib | DOI | http ]
[47] Cliff B. Jones. The meta-language. In Bjørner and Jones [3], chapter 2, pages 25-46. [ bib | .pdf ]
[48] Cliff B. Jones. Modelling concepts of programming languages. In Bjørner and Jones [3], chapter 4, pages 85-124. [ bib | .pdf ]
[49] Cliff B. Jones. More on exception mechanisms. In Bjørner and Jones [3], chapter 5, pages 125-140. [ bib | .pdf ]
[50] Wolfgang Henhapl and Cliff B. Jones. ALGOL 60. In Bjørner and Jones [3], chapter 6, pages 141-174. [ bib | .pdf ]
[51] Cliff B. Jones. Compiler design. In Bjørner and Jones [3], chapter 8, pages 253-270. [ bib | .pdf ]
[52] Elizabeth Fielding and Cliff B. Jones. Program design by data refinement. In Bjørner and Jones [3], chapter 10, pages 323-352. [ bib | .pdf ]
[53] C. B. Jones. Specification and design of (parallel) programs. In Proceedings of IFIP'83, pages 321-332. North-Holland, 1983. [ bib ]
[54] C. B. Jones. Tentative steps toward a development method for interfering programs. Transactions on Programming Languages and System, 5(4):596-619, 1983. [ bib | DOI | http ]
[55] F. L. Morris and C. B. Jones. An early program proof by Alan Turing. Annals of the History of Computing, 6(2):139-143, 1984. [ bib | DOI | http ]
[56] H. Barringer, J.H. Cheng, and C. B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251-269, 1984. [ bib | DOI | http ]
[57] C. B. Jones. Specification and verification. IEEE, Transactions of Software Engineering, SE-10:126-127, 1984. [ bib | DOI ]
[58] C. B. Jones. The role of proof obligations in software design. In Formal Methods and Software Development, volume 186 of Lecture Notes in Computer Science, pages 27-41. Springer-Verlag, 1985. [ bib | DOI | http ]
[59] I. D. Cottam, C. B. Jones, T. Nipkow, A. C. Wills, M. I. Wolczko, and A. Yaghi. Project support environments for formal methods. In J. McDermid, editor, Integrated Project Support Environments, chapter 3. Peter Peregrinus Ltd., 1985. [ bib ]
[60] C. B. Jones. Systematic program development. In N. Gehani and A. D. McGettrick, editors, Software Specification Techniques, pages 89-110. Addison-Wesley, 1985. revised version of [63]. [ bib ]
[61] C. B. Jones. Specification, verification and testing in software development. In T. Anderson, editor, Software Requirements Specification and Testing, pages 1-13. Blackwell Scientific Publications, 1985. [ bib ]
[62] C. B. Jones. Proof obligations for data reification. In O. G. Folberth and C. Hackl, editors, Der Informationsbegriff in Technik und Wissenschaft, pages 77-96. Oldenbourg Verlag, 1986. Festschrift-Prof. Karl E. Ganzhorn. [ bib ]
[63] C. B. Jones. Systematic program development. In J. W. de Bakker, M. Hazewinkel, and J. K. Lenstra, editors, Mathematics and Computer Science, pages 19-50. North-Holland, 1986. [ bib ]
[64] C. B. Jones. Specifications and programs. In WspólCzesne Kierunki Rozwoju Informtyki, pages 33-48, 1986. [ bib ]
[65] C. B. Jones. Specyfikacje a programy I. Informatyka, 10:1-4, 1987. [ bib ]
[66] C. B. Jones. Specyfikacje a programy II. Informatyka, 11:2-6, 1987. [ bib ]
[67] C. B. Jones. VDM proof obligations and their justification. In Bjørner et al. [7], pages 260-286. [ bib | DOI | http ]
[68] C. B. Jones. Program specification and verification in VDM. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F: Computer and Systems Sciences, pages 149-184. Springer-Verlag, 1987. [ bib ]
[69] C. B. Jones. Software development based on formal methods. In A. N. Habermann and U. Montanari, editors, System Development and Ada, volume 275 of Lecture Notes in Computer Science, pages 153-172. Springer-Verlag, 1987. [ bib | DOI | http ]
[70] C. B. Jones and P. A. Lindsay. A support system for formal reasoning: Requirements and status. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM'88: VDM - The Way Ahead, volume 328 of Lecture Notes in Computer Science, pages 139-152. Springer-Verlag, 1988. [ bib | DOI | http ]
[71] C. B. Jones and R. Moore. Muffin: A user interface design experiment for a theorem proving assistant. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM'88: VDM - The Way Ahead, volume 328 of Lecture Notes in Computer Science, pages 337-375. Springer-Verlag, 1988. [ bib | DOI | http ]
[72] C. B. Jones. Theorem proving and software engineering. IEE, Software Engineering Journal, 3(1):2, 1988. [ bib ]
[73] I. J. Hayes and C. B. Jones. Specifications are not (necessarily) executable. IEE, Software Engineering Journal, 4(6):320-338, November 1989. [ bib ]
[74] C. B. Jones. Data reification. In J. A. McDermid, editor, The Theory and Practice of Refinement, pages 79-89. Butterworths, 1989. [ bib ]
[75] C. B. Jones. A small language definition. In Jones and Shaw [10], chapter 9, pages 235-256. [ bib ]
[76] J.S. Fitzgerald and C. B. Jones. Modularizing the formal description of a database system. In D. Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM'90: VDM and Z - Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 189-210. Springer-Verlag, 1990. [ bib | DOI | http ]
[77] C. B. Jones. Consequences. In Beauty is Our Business, chapter 25. Springer-Verlag, 1990. [ bib ]
[78] J. H. Cheng and C. B. Jones. On the usability of logics which handle partial functions. In C. Morgan and J. C. P. Woodcock, editors, 3rd Refinement Workshop, pages 51-69. Springer-Verlag, 1991. [ bib ]
[79] C. B. Jones. Interference revisited. In J. E. Nicholls, editor, Z User Workshop, pages 58-73. Springer-Verlag, 1991. [ bib ]
[80] C. B. Jones. Does the O-O community need formal methods? In J. Bézivin and B. Meyer, editors, TOOLS 4: Technology of Object-Oriented Languages and Systems, pages 15-22. Prentice-Hall, 1991. [ bib ]
[81] C. B. Jones. Can computer programs be trusted? In Nigel Calder, editor, Scientific Euorope, pages 304-309. Foundation Scientific Europe, 1991. [ bib ]
[82] C. B. Jones. Interference resumed. In P. Bailes, editor, Engineering Safe Software, pages 31-56. Australian Computer Society, 1991. [ bib ]
[83] C. B. Jones. An object-based design method for concurrent programs. In S. Meldal and M. Haveraaen, editors, 4th Nordic Workshop on Program Correctness, pages 27-52. University of Bergen, 1993. Report No. 78, ISSN 0333-3590. [ bib ]
[84] C. B. Jones. Constraining interference in an object-based design method. In M-C. Gaudel and J-P. Jouannaud, editors, TAPSOFT'93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science, pages 136-150. Springer-Verlag, 1993. [ bib | DOI | http ]
[85] C. B. Jones. Reasoning about interference in an object-based design method. In FME'93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 1-18. Springer-Verlag, 1993. [ bib | DOI | http ]
[86] C. B. Jones. A pi-calculus semantics for an object-based design notation. In CONCUR'93: 4th International Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, pages 158-172. Springer-Verlag, 1993. [ bib | DOI | http ]
[87] I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. ACM Software Engineering News, 19(3):75-81, July 1994. [ bib | DOI | http ]
[88] C. B. Jones. Process algebra arguments about an object-based design notation. In A. W. Roscoe, editor, A Classical Mind, chapter 14, pages 231-246. Prentice-Hall, 1994. [ bib ]
[89] C.B. Jones and C.A. Middelburg. A typed logic of partial functions reconstructed classically. Acta Informatica, 31(5):399-430, 1994. [ bib | DOI | http ]
[90] C. B. Jones. Granularity and the development of concurrent programs. In Proceedings MFPS'95, volume 1 of Electronic Notes in Theoretical Computer Science, pages 302-306. Elsevier, 1995. [ bib | DOI | http ]
[91] C. B. Jones. Fixing the semantics of some concurrent object-oriented concepts. In Proceedings MFPS'95, volume 1 of Electronic Notes in Theoretical Computer Science, pages 307-312. Elsevier, 1995. [ bib | DOI | http ]
[92] C.B. Jones. Partial functions and logics: A warning. Information Processing Letters, 54(2):65-67, 1995. [ bib | DOI ]
[93] C. B. Jones. Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design, 8(2):105-122, March 1996. [ bib | DOI | http ]
[94] Edmund M. Clarke, Jeannette M. Wing, Cliff B. Jones, et al. Formal methods: State of the art and future directions. ACM, Computing Surveys, 28(4):626-643, December 1996. [ bib | DOI ]
[95] C. B. Jones. Some practical problems and their influence on semantics. In ESOP'96, volume 1058 of Lecture Notes in Computer Science, pages 1-17. Springer-Verlag, 1996. [ bib | DOI | http ]
[96] J. R. Gurd and C. B. Jones. The global-yet-personal information system. In Ian Wand and Robin Milner, editors, Computing Tomorrow, pages 127-157. Cambridge University Press, 1996. [ bib ]
[97] C. B. Jones, D. N. Jackson, and J. Wing. Formal methods light. IEEE, Computer, 29(4):20-22, 1996. [ bib | DOI | http ]
[98] C. B. Jones. TANSTAAFL (with partial functions). In William Farmer, Manfred Kerber, and Michael Kohlhase, editors, Proceedings of the CADE-13 Workshop on the Mechanization Of Partial Functions, pages 53-64, 1996. [ bib | .ps.gz ]
[99] C. B. Jones. Describing the semantics of concurrent object-oriented languages. In William Farmer, Manfred Kerber, and Michael Kohlhase, editors, Proceedings of the 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL-3 with LICS'96), pages 24-25, 1996. [ bib ]
[100] Steve J. Hodges and Cliff B. Jones. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek, editors, Oject Orientation with Parallelism and Persistence, pages 1-22. Kluwer Academic Publishers, 1996. [ bib | .pdf ]
[101] C. B. Jones. Whither formal methods? a plea to investigate new applications. In Michael G Hinchey and Shaoying Liu, editors, Formal Engineering Methods, page 5. IEEE Computer Society, 1997. [ bib ]
[102] John Fitzgerald and Cliff Jones. A tracking system. In J. C. Bicarregui, editor, Proof in VDM: Case Studies, FACIT, pages 1-30. Springer-Verlag, 1998. [ bib ]
[103] C. B. Jones. Some mistakes I have made and what I have learned from them. In Fundamental Approaches to Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 7-20. Springer-Verlag, 1998. [ bib | DOI | http ]
[104] I. J. Hayes and C. B. Jones. Specifications are not (necessarily) executable. In High-Integrity System Specification and Design, FACIT, pages 563-581. Springer-Verlag, 1999. [ bib | http ]
[105] C. B. Jones. Scientific decisions which characterize VDM. In FM'99 - Formal Methods, volume 1708 of Lecture Notes in Computer Science, pages 28-47. Springer-Verlag, 1999. [ bib | http ]
[106] Pierre Collette and Cliff B. Jones. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction, chapter 10, pages 277-307. MIT Press, 2000. [ bib ]
[107] C. B. Jones. Compositionality, interference and concurrency. In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Milennial Perspectives in Computer Science, pages 175-186. Macmillian Press, 2000. [ bib ]
[108] C. B. Jones. Thinking tools for the future of computing science. In Reinhard Wilhelm, editor, Informatics - 10 Years Back, 10 Years forward, volume 2000 of Lecture Notes in Computer Science, pages 112-130. Springer-Verlag, 2000. [ bib | DOI | http ]
[109] C. B. Jones. Dependability of computer-based systems. In XIV Simposia Brasiliero de Engenharia de Software, pages 16-20, 2000. [ bib ]
[110] C. B. Jones. The transition from VDL to VDM. Journal of Universal Computer Science, 7(8):631-640, 2001. [ bib | DOI | http ]
[111] B. Randell, R. Stroud, and C. Jones. DSoS (Dependable Systems of Systems). In Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001, pages D28-D31. IEEE Computer Society Press, 2001. [ bib ]
[112] A. T. Lawrie and C. B. Jones. Goal-diversity in the design of dependable computer-based systems. In (in) Proceedings of the Open Source Software Development Workshop, CS-TR-812, 2002. [ bib ]
[113] C. B. Jones. Wanted: a compositional approach to concurrency. In Annabelle McIver and Carroll Morgan, editors, Programming Methodology, pages 5-15. Springer Verlag, 2003. [ bib ]
[114] Cliff Jones, Alexander Romanovsky, and Ian Welch. A structured approach to handling on-line interface upgrades. In COMPSAC 2002, pages 1000-1005. IEEE, 2002. [ bib | http ]
[115] Cliff Jones, Panos Periorellis, Alexander Romanovsky, and Ian Welch. Structured handling of on-line interface upgrades in integrating dependable systems of systems. In N. Guelfi, E. Astesiano, and G. Reggio, editors, FIDGI 2002, volume 2604 of Lecture Notes in Computer Science, pages 73-86. Springer Verlag, 2003. [ bib | DOI | http ]
[116] Cliff B Jones. A formal basis for some dependability notions. In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2757 of Lecture Notes in Computer Science, pages 191-206. Springer Verlag, 2003. [ bib | DOI | http ]
[117] Cliff B. Jones. The early search for tractable ways of reasonning about programs. IEEE, Annals of the History of Computing, 25(2):26-49, 2003. [ bib | DOI | http ]
[118] Cliff B. Jones. Operational semantics: concepts and their expression. Information Processing Letters, 88(1-2):27-32, 2003. [ bib | DOI | http ]
[119] Ian Hayes, Michael Jackson, and Cliff Jones. Determining the specification of a control system from that of its environment. In Keijiro Araki, Stefani Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, volume 2805 of Lecture Notes in Computer Science, pages 154-169. Springer Verlag, 2003. [ bib | DOI | http ]
[120] Tony Hoare, Cliff Jones, and Brian Randell. Extending the horizons of DSE. In Grand Challenges. UKCRC, 2004. [ bib | .pdf ]
[121] Cliff Jones and Brian Randell. Dependable pervasive systems. In Robin Mansell and Brian S. Collins, editors, Trust and Crime in Information Societies, chapter 3, pages 59-90. Edward Elgar, 2005. also visible at http://www.foresight.gov.uk. [ bib ]
[122] C. B. Jones, D. Lomet, A. Romanovsky, and G. Weikum. The atomic manifesto: a story in four quarks. ACM SIGMOD Record, 34(1):63-69, 2005. [ bib | DOI | http ]
[123] C. B. Jones. An approach to splitting atoms safely: Extended abstract. Electronic Notes in Theoretical Computer Science, MFPS XXI, 21st Annual Conference of Mathematical Foundations of Programming Semantics, 155:43-60, 2006. [ bib | DOI ]
[124] Cliff B. Jones. Specification before satisfaction: the case for research into obtaining the right specification. In Helen Treharne, Steve King, Martin Henson, and Steve Schneider, editors, ZB-2005, volume 3455 of Lecture Notes in Computer Science, pages 1-5. Springer Verlag, 2005. [ bib | DOI | http ]
[125] D. Greathead and C. B. Jones. DIRC: an interdisciplinary attack on problems of dependability. In EDCC-5, Budapest, Supplementary Volume, pages 11-14, April 2005. [ bib ]
[126] Joey Coleman, Cliff Jones, Ian Oliver, Alexander Romanovsky, and Elena Troubitsyna. RODIN (rigorous open development environment for complex systems). In EDCC-5, Budapest, Supplementary Volume, pages 23-26, April 2005. [ bib ]
[127] C. B. Jones. Sequencing operations and creating objects. In Proceedings Tenth IEEE International Conference on Engineering of Complex Computer Systems, pages 33-35. IEEE Computer Society, 2005. [ bib | DOI ]
[128] C. B. Jones, D. Lomet, A. Romanovsky, and G. Weikum. The atomic manifesto. Journal of Universal Computer Science, 11(5):636-650, 2005. [ bib | DOI | http ]
[129] J. I. Burton and C. B. Jones. Investigating atomicity and observability. Journal of Universal Computer Science, 11(5):661-686, 2005. [ bib | DOI | http ]
[130] Joey W. Coleman and Cliff B. Jones. Examples of how to determine the specifications of control systems. In M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, editors, Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), number CS-TR-915 in Technical Report Series, pages 65-73. University of Newcastle Upon Tyne, June 2005. see www.cs.ncl.ac.uk/research/pubs/trs/papers/915.pdf. [ bib ]
[131] C. B. Jones. Panelist position statement: reasoning about the design of programs. Royal Soc, Phil Trans R Soc A, 363(1835):2395-2396, 2005. [ bib | DOI | http ]
[132] Cliff B. Jones and Brian Randell. The role of structure: a dependability perspective. In D. Besnard, C. Gacek, and C. B. Jones, editors, Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, chapter 1, pages 3-15. Springer, 2006. [ bib | DOI | http ]
[133] Cliff B. Jones. The DIRC project as the context of this book. In Trust in Technology: a Socio-Technical Perspective, chapter 10, pages 217-221. Springer, 2006. [ bib | DOI ]
[134] Cliff Jones, Peter O'Hearn, and Jim Woodcock. Verified software: a grand challenge. IEEE Computer, 39(4):93-95, 2006. [ bib | DOI | http ]
[135] Cliff B. Jones. Reasoning about partial functions in the formal development of programs. In Proceedings of AVoCS'05, volume 145, pages 3-25. Elsevier, Electronic Notes in Theoretical Computer Science, 2006. [ bib | DOI | http ]
[136] T. P. Clement and C. B. Jones. Model-oriented specifications. FACS FACTS, 2006-2:39-53, 2006. [ bib ]
[137] C. B. Jones. Splitting atoms safely. Theoretical Computer Science, 375(1-3):109-119, 2007. [ bib | DOI ]
[138] Joey W. Coleman, Nigel P. Jefferson, and Cliff B. Jones. Comments on several years of teaching of modelling programming language concepts. In Raymond T. Boute and Jose N. Oliveira, editors, Formal Methods in the Teaching Lab, 2006. [ bib ]
[139] J. W. Bryans, J. S. Fitzgerald, C. B. Jones, and I. Mozolevsky. Formal modelling of dynamic coalitions, with an application in chemical engineering. In T. Margaria, A. Philippou, and B. Steffen, editors, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pages 91-98. IEEE, 2006. [ bib | DOI | http ]
[140] Cliff B. Jones, Ian J. Hayes, and Michael A. Jackson. Deriving specifications for systems that are connected to the physical world. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays, volume 4700 of Lecture Notes in Computer Science, pages 364-390. Springer Verlag, 2007. [ bib | DOI | http ]
[141] Cliff B. Jones. Understanding programming language concepts via operational semantics. In Chris George, Zhiming Liu, and Jim Woodcock, editors, Domain Modeling and the Duration Calculus, volume 4710 of Lecture Notes in Computer Science, pages 177-235. Springer, 2007. [ bib | DOI | http ]
[142] Cliff B. Jones and Ken G. Pierce. What can the π-calculus tell us about the mondex purse system? In ICECCS '07: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pages 300-306. IEEE, IEEE Computer Society, 2007. [ bib | DOI | .pdf ]
[143] Cliff B. Jones. Vdm "post-ludium". In D. Bjørner and M. Henson, editors, Logics of Specification Languages, pages 614-616. Springer, 2007. [ bib ]
[144] J. W. Coleman and C. B. Jones. A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation, 17(4):807-841, 2007. [ bib | DOI | http ]
[145] Cliff Jones. Discussion on the ideal of program correctness by Tony Hoare. The Computer Journal, 50(3):261-268, 2007. [ bib | DOI ]
[146] J. S. Fitzgerald and C. B. Jones. The connection between two ways of reasoning about partial functions. IPL, 107(3-4):128-132, 2008. [ bib | DOI ]
[147] J. S. Fitzgerald, J. W. Bryans, D. Greathead, C. B. Jones, and R. Payne. Animation-based validation of a formal model of dynamic vitual organisations. In P. Boca, J. Bowen, and P.G. Larsen, editors, FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK, December 2008. BCS. [ bib | http ]
[148] Cliff B. Jones. Some interdisciplinary observations about getting the “right” specification. In B. Meyer and J. P. C. Woodcock, editors, Verified Software: Theories, Tools, Experiments, number 4171 in Lecture Notes in Computer Science, pages 64-69. Springer, 2008. [ bib | DOI | .pdf ]
[149] Cliff B. Jones and Ken G. Pierce. Splitting atoms with rely/guarantee conditions coupled with data reification. In ABZ2008, number 5238 in Lecture Notes in Computer Science, pages 360-377. Springer, 2008. [ bib | DOI | .pdf ]
[150] John R. D. Hughes and C. B. Jones. Reasoning about programs via operational semantics: Requirements for a support system. Automated Software Engineering, 15(3-4):299-312, 2008. [ bib | DOI | http ]
[151] Cliff B. Jones. Reflections on, and predictions for, support systems for the development of programs. Proceedings ASE 2008, 2008. [ bib | DOI | http ]
[152] Alan Bundy, Gudmund Grov, and Cliff B. Jones. Learning from experts to aid the automation of proof search. In Liam O'Reilly and Markus Roggenbach, editors, AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems, Technical Report of Computer Science CSR-2-2009, pages 229-232. Swansea University, 2009. [ bib ]
[153] Cliff B. Jones. From problem frames to HJJ (and its known unknowns). In Bashar Nuseibeh and Pamela Zave, editors, Software Requirements and Design: The Work of Michael Jackson, chapter 16, pages 357-372. Good Friends Publishing Company, 2010. [ bib ]
[154] Alan Bundy, Gudmund Grov, and Cliff B. Jones. An outline of a proposed system that learns from experts how to discharge proof obligations automatically. In Jean-Raymond Abrial, Michael Butler, Rajeev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock, editors, Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems, pages 38-42, 2009. [ bib | http ]
[155] Cliff B. Jones. Abstraction is all we've got: auxiliary variables considered harmful. In Jean-Raymond Abrial, Michael Butler, Rajeev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock, editors, Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems, pages 94-98, 2009. [ bib | http ]
[156] C.B. Jones and A.W. Roscoe. Insight, inspiration and collaboration. In Cliff B. Jones, A. W. Roscoe, and Kenneth Wood, editors, Reflections on the work of C.A.R. Hoare, chapter 1, pages 1-32. Springer, 2010. [ bib | DOI ]
[157] C. B. Jones. The role of auxiliary variables in the formal development of concurrent programs. In Cliff B. Jones, A. W. Roscoe, and Kenneth Wood, editors, Reflections on the work of C.A.R. Hoare, chapter 8, pages 167-188. Springer, 2010. [ bib | DOI ]
[158] Gudmund Grov, Alan Bundy, Cliff B. Jones, and Andrew Ireland. The AI4FM approach for automation within formal methods. In UKCRC, editor, GCCR'10, April 2010. [ bib | http ]
[159] Cliff B. Jones and Ken G. Pierce. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online first:??-??, 2010. [ bib | DOI | http ]
[160] D. Bjørner and C. B. Jones. The Vienna Development Method: Software abstraction principles and software architecture, January-February 1979. Copenhagen Winter School on `Abstract Software Specification'. [ bib ]
[161] C. B. Jones. Abstract data types, August 1979. Software Institute, UCSC, Santa Cruz, California. [ bib ]
[162] C. B. Jones. Abstract data types, September 1979. International Seminar on Teaching Computer Science, University of Newcastle. [ bib ]
[163] C. B. Jones. The rigorous method, September 1982. Three lectures at the Joint International Seminar on the Teaching of Computer Science - Formal Specification, Newcastle. [ bib ]
[164] C. B. Jones. Rigorous design: Some experiments in top-down design, March 1983. BCS-FACS/SERC Conference on Program Specification and Verification, University of York, (Proceedings not published). [ bib ]
[165] I. D. Cottam, C. B. Jones, T. Nipkow, and A. C. Wills. Mule: A support system for formal specification and rigorous software development, March 1983. BCS-FACS/SERC Conference on Program Specification and Verification, University of York, (Proceedings not published). [ bib ]
[166] C. B. Jones. Software development based on formal methods; IPSE 2.5, May 1986. Two talks at: Innovative Software Factories and Ada, Capri. [ bib ]
[167] C. B. Jones. Data reification; operation decomposition; a logic for partial functions; support environments for formal methods, July-August 1986. Four talks at Summer School, Marktoberdorf, Germany. [ bib ]
[168] C. B. Jones. Computing science, mathematics, and the Alvey programme, September 1986. talk at annual meeting of British Association for the Advancement of Science, Bristol. [ bib ]
[169] C. B. Jones. Specifications and programs, 6 November 1986. talks at: WspólCzesne Kierunki Rozwoju Informtyki, Mragowo, Poland. [ bib ]
[170] C. B. Jones. Recent developments in VDM, March 1987. talk at: VDM'87 Symposium. [ bib ]
[171] C. B. Jones. VDM's notions of data type and data reification, April 1987. talk at: YoP Texas. [ bib ]
[172] C. B. Jones. Computer-aided formal reasoning for software design, March 1989. talk at: TAPSOFT'89, Barcelona. [ bib ]
[173] C. B. Jones. Support tools for reification, January 1990. talk at: Third Refinement Workshop, Hursley. [ bib ]
[174] C. B. Jones. What inhibits the use of formal methods?, April 1992. Mathematical Foundations of Programming Semantics, Oxford. [ bib ]
[175] C. B. Jones. Lessons from the development of a concurrent program: formality as a guide to intuition, May 1995. FMTA, Poland. [ bib ]
[176] C. B. Jones. Some practical problems and their influence on semantics, July 1995. Newton Institute in mathematical Sciences, Cambridge. [ bib ]
[177] C. B. Jones. Descring the semantics conncurrent object-oriented languages, July 1996. FOOL-3 (LICS) Workshop, Rutgers University. [ bib ]
[178] C. B. Jones. Whither formal methods?, July 1997. Irish Workshop on Formal Methods, Dublin. [ bib ]
[179] Cliff Jones. Operational semantics: concepts and their expression, April 2003. ETAPS-WMT 2003, Warsaw. [ bib ]
[180] Cliff Jones. How can design abstractions be used in testing?, September 2003. SoftTest, York. [ bib ]
[181] C. B. Jones. (Avoiding, describing and understanding) interference, May 2005. MFPS XXI. [ bib ]
[182] Cliff Jones. The case for research into obtaining the right specification, June 2005. Presented at IEEE's ICECCS-2005, Shanghai. [ bib ]
[183] Cliff Jones. Determining the specification of systems involving humans, July 2005. Presented at DSVIS-05. [ bib ]
[184] Cliff Jones. Technical challenges for verification in design, July 2005. Presented at GC-6 Workshop, FM-05. [ bib ]
[185] Cliff Jones. Technical challenges for formal methods, September 2005. Presented at MPI Kaiserslautern. [ bib ]
[186] Cliff Jones. What can we do (technically) to get `the right specification'?, October 2005. IFIP TC2 Working Conference, VSTTE, ETH Zurich, see [148] for proceedings. [ bib ]
[187] Cliff Jones. Dependability of computer-based systems: why interdisciplinarity is essential, September 2006. Keynote talk, SafeComp-06, Gdansk. [ bib ]
[188] Cliff Jones. “splitting atoms” with (a bunch of ideas including) rely/guarantee conditions, data reification, ..., September 2008. Keynote Talk at VSR/ABZ, see [149] for proceedings. [ bib ]
[189] Cliff Jones. Reflections on, and predictions for, support systems for the development of programs, September 2008. Keynote at ASE-08, L'Aquila, see [151] for extended abstract. [ bib ]
[190] Cliff Jones. Developing programs by “splitting atoms”, October 2008. FMCO, Sophia Antipolis. [ bib ]
[191] C. B. Jones. Which system are we looking at: a dependability perspective, November 2008. EAJ/RAEng Symposium, British Embassy, Tokyo. [ bib ]
[192] Cliff B. Jones. Rely/guarantee thinking and its role in splitting atoms safely, June 2009. PSY Workshop at CAV, Grenoble. [ bib ]
[193] Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language, July 2010. AFM Workshop at FLoC. [ bib ]
[194] Cliff B. Jones. Abstractions before proofs, July 2010. invited talk at VERIFY Workshop at FLoC. [ bib ]
[195] P. B. Schofield and C. B. Jones. A random generator for the automatic production of executable PL/I programs (APEX). Technical Report 12.062, IBM Laboratory Hursley, April 1966. [ bib ]
[196] P. B. Schofield and C. B. Jones. APEX manual. IBM Laboratory, Hursley, April 1966. [ bib ]
[197] C. B. Jones. A retrospective view of APEX (Automatic Production of Executable Programs). Technical Report 12.065, IBM Laboratory Hursley, October 1966. [ bib ]
[198] C. B. Jones. Mathematical semantics of goto: Exit formulation and its relation to continuations. Technical report, IBM Laboratory Vienna, July 1968. [ bib ]
[199] S. M. Glassover, K. V. Hanford, and C. B. Jones. The syntax machine: An introduction. Technical Report 12.077, IBM Laboratory Hursley, October 1968. [ bib ]
[200] S. M. Glassover, K. V. Hanford, and C. B. Jones. The syntax machine: A description. Technical Report 12.078, IBM Laboratory Hursley, January 1969. [ bib ]
[201] C. B. Jones. A proof of the correctness of some optimising techniques. Technical Report LN 25.3.051, IBM Laboratory, Vienna, June 1969. [ bib ]
[202] C. B. Jones. A proof of the correctness of an interpreter based on axiom schema. Technical Report LN 25.3.053, IBM Laboratory, Vienna, June 1969. [ bib ]
[203] W. Henhapl and C. B. Jones. On the interpretation of GOTO statements in the ULD. Technical Report LN 25.3.065, IBM Laboratory, Vienna, March 1970. [ bib ]
[204] W. Henhapl and C. B. Jones. The block concept and some possible implementations, with proofs of equivalence. Technical Report 25.104, IBM Laboratory Vienna, April 1970. [ bib ]
[205] C. B. Jones. A technique for showing that two functions preserve a relation between their domains. Technical Report LR 25.3.067, IBM Laboratory, Vienna, April 1970. [ bib ]
[206] W. Henhapl and C. B. Jones. Some observations on the implementation of reference mechanisms for automatic variables. Technical Report LR 25.3.070, IBM Laboratory, Vienna, May 1970. [ bib ]
[207] C. B. Jones and P. Lucas. Proving correctness of implementation techniques. Technical Report 25.110, IBM Laboratory Vienna, August 1970. [ bib ]
[208] C. B. Jones. Yet another proof of the block concept. Technical Report LN 25.3.075, IBM Laboratory, Vienna, August 1970. [ bib ]
[209] C. B. Jones. Development of correct programs: An example based on Earley's recogniser. Technical Report TN 9000, IBM Laboratory, Hursley, April 1971. [ bib ]
[210] K. V. Hanford and C. B. Jones. Dynamic syntax: A concept for the definition of the syntax of programming languages. Technical Report 12.090, IBM Laboratory Hursley, June 1971. [ bib ]
[211] C. B. Jones. Formal development of correct algorithms: an example based on Earley's recogniser. Technical Report 12.095, IBM Laboratory Hursley, December 1971. [ bib ]
[212] C. D. Allen, D. N. Chapman, and C. B. Jones. A formal definition of ALGOL 60. Technical Report 12.105, IBM Laboratory Hursley, August 1972. [ bib | .pdf ]
[213] C. B. Jones. Operations and formal development. Technical Report TN 9004, IBM Laboratory, Hursley, September 1972. [ bib ]
[214] D. N. Chapman and C. B. Jones. Formal development: An example using FDSS. Technical Report TN 9007, IBM Laboratory, Hursley, 1973. [ bib ]
[215] C. D. Allen and C. B. Jones. The formal development of an algorithm. Technical Report 12.110, IBM Laboratory Hursley, March 1973. [ bib ]
[216] C. B. Jones. Formal development of programs. Technical Report 12.117, IBM Laboratory Hursley, June 1973. [ bib ]
[217] H. Bekič, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas. A formal definition of a PL/I subset. Technical Report 25.139, IBM Laboratory Vienna, December 1974. [ bib | http ]
[218] H. Bekič, H. Izbicki, C. B. Jones, and F. Weissenböck. Some experiments with using a formal language definition in compiler development. Technical Report LN 25.3.107, IBM Laboratory, Vienna, December 1975. [ bib ]
[219] C. B. Jones. Formal definition in compiler development. Technical Report 25.145, IBM Laboratory Vienna, February 1976. [ bib ]
[220] C. B. Jones. Program development using data abstraction. typescript, December 1976. [ bib ]
[221] C. B. Jones. Implementation bias in constructive specification of abstract objects. typescript, September 1977. [ bib ]
[222] C. B. Jones. Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University, June 1981. Printed as: Programming Research Group, Technical Monograph 25. [ bib ]
[223] H. Barringer and C. B. Jones. A survey of verification techniques for parallel programs. Technical report, University of Manchester, September 1982. [ bib ]
[224] B. T. Denvir, V. A. Downes, C. B. Jones, R. A. Snowdon, and M. K. Tordoff. IPSE 2.5 project proposal. Technical report, ICL/STC-IDEC/STL/University of Manchester, February 1985. [ bib ]
[225] I. D. Cottam, C. B. Jones, T. N. Nipkow, A. C. Wills, M. Wolczko, and A. Yaghi. Mule - an environment for rigorous software development (final report to SERC on grant number GR/C/05762). Technical report, Department of Computer Science, University of Manchester, 1986. [ bib ]
[226] C. B. Jones. Teaching notes for systematic software development using VDM. Technical Report UMCS 86-4-2, University of Manchester, 1986. [ bib ]
[227] C. B. Jones. Program specification and verification in VDM. Technical Report UMCS 86-10-5, University of Manchester, 1986. extended version of [68] (includes the full proofs). [ bib ]
[228] C. B. Jones, P. Lindsay, and C. Wadsworth. IPSE 2.5 theorem proving concepts paper. Technical Report 060/00021/1.5, Manchester University and Rutherford Appleton Laboratory, June 1986. [ bib ]
[229] C. B. Jones and R. Moore. An experimental user interface for a theorem proving assistant. Technical Report UMCS 87-12-8, Manchester University, December 1987. [ bib ]
[230] C. B. Jones. Systematic software development using VDM (second edition) teaching notes. Technical report, Prentice Hall International, 1990. [ bib ]
[231] C. B. Jones. Final report on SERC Grant No. GR/D/60294: IPSE 2.5. internal communication, July 1990. [ bib ]
[232] C. B. Jones. An object-based design method for concurrent programs. Technical Report UMCS-92-12-1, Manchester University, 1992. [ bib | .html ]
[233] C. B. Jones and A. M. McCauley. Formal methods - selected historical references. Technical Report UMCS-92-12-2, Manchester University, 1992. [ bib | .html ]
[234] J. S. Fitzgerald and C. B. Jones. Proof in the analysis of a model of a tracking system. Technical Report CS-TR-617, Newcastle University, 1997. [ bib | .ps ]
[235] A. Romanovsky, J. Arlat, J.-C. Fabre, V. Issarny, C. B. Jones, N. Levy, E. Marsden, P. Periorellis, M. Rodriguez, F. Tartanoglu, and I. Welch. Further results on architectures and dependability mechanisms for dependable SoSs. Technical Report CS-TR-779, School of Computing Science, Newcastle University, 2002. [ bib | .pdf ]
[236] M.-C. Gaudel, V. Issarny, C. B. Jones, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky, R.J. Stroud, and F. Taini. Final version of DSoS conceptual model. Technical Report CS-TR-782, School of Computing Science, Newcastle University, 2002. [ bib | .pdf ]
[237] J. Coleman, N. Jefferson, and C. B. Jones. Black tie optional: Modelling programming language concepts. Technical Report CS-TR-844, School of Computing Science, Newcastle University, 2004. Submitted to Ghent Teaching Conference. [ bib | .pdf ]
[238] J. W. Coleman and C. B. Jones. Guaranteeing the soundness of rely/guarantee rules. Technical Report CS-TR-955, School of Computing Science, University of Newcastle, March 2006. [ bib | .pdf ]
[239] Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump. Roadmap for enhanced languages and methods to aid verification. Technical Report 06-21, Iowa State University, Department of Computer Science, Ames, IA, July 2006. [ bib | www: ]
[240] C. B. Jones. Rodin: Intermediate report on methodology. Technical Report CS-TR-990, School of Computing Science, University of Newcastle, 2006. [ bib | .pdf ]
[241] Nigel Gilbert, Cliff Jones, et al. Dilemmas of privacy and surveillance: Challenges of technological change. Technical report, Royal Academy of Engineering, March 2007. [ bib | .pdf ]
[242] J. S. Fitzgerald and C. B. Jones. The connection between two ways of reasoning about partial functions. Technical Report CS-TR-1044, School of Computing Science, Newcastle University, August 2007. [ bib | .pdf ]
[243] J. W. Bryans, J. S. Fitzgerald, D. Greathead, C. B. Jones, and R. J. Payne. A dynamic coalitions workbench: Final report. Technical Report CS-TR-1091, School of Computing Science, Newcastle University, 2008. [ bib | .pdf ]
[244] Cliff B. Jones, Gudmund Grov, and Alan Bundy. Ideas for a high-level proof strategy language. Technical Report EDI-INF-RR-1377, Informatics, Edinburgh University, 2010. [ bib | .html ]
[245] J. I. Burton and C. B. Jones. Atomicity in system design and execution. Journal of Universal Computer Science, 11(5):634-635, 2005. [ bib | .html ]

This file was generated by bibtex2html 1.94.