Department of Computer Science

Steve Reeves' Writings

Some of my publications...

...(an increasing number) are available in our Research Commons. Search on my surname here to see what's available.

Books

Groves, L. and Reeves, S. (eds.) (1997) Formal Methods Pacific '97, Proceedings of FMP'97, Springer-Verlag, Singapore, 1997.

D. S. Bridges, C.S. Calude, J. Gibbons, S. Reeves, I.H. Witten (eds.). (1996) Combinatorics, Complexity and Logic, Proceedings of DMTCS'96, Springer-Verlag, Singapore, 1996, viii + 422 pages.

Reeves, S. and Clarke, M. (1990) Logic for Computer Science . Addison-Wesley Publishers Ltd.

Articles in Books (refereed)

Deutsch, M., Henson, M. and Reeves, S. (2007) Z Logic and its Applications. In "Logics for Specification Languages", Springer-Verlag. (To appear.)

Refereed Journal Articles

Reeves, S. and Streader, D. (2007) Data refinement and singleton failures refinement are not equivalent, Formal Aspects of Computing Journal (FACS), Springer-Verlag. (Under review)

Reeves, S. and Streader, D. (2007) State-based and Event-based refinement: reconciling differences, Formal Aspects of Computing Journal (FACS), Springer-Verlag. (Under review)

Bowen, J. and Reeves, S. (2006), "Formal Models for Informal GUI Designs", ENTCS, Volume 183, pp. 57-72.

Malik, R., Streader, D. and Reeves, S. (2006) Conflicts and fair testing. International Journal of Foundations of Computer Science 17(4), 797-813.

Reeves, S. and Streader, D. (2006) Stepwise refinement of processes. Electronic Notes in Theoretical Computer Science 160, 275-289.

Reeves, S. and Streader, D (2005) Constructing Programs or Processes,  Journal of Universal Computer Science, special volume, C.S.Calude, H.Ishihara (eds.).Constructivity, Computability, and Logic. A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges.

 

Henson, M. C., Reeves, S. and Bowen, J. (2003) Z Logic and its Consequences, Computing and Informatics, vol. 22, no. 4.

Henson, M. C. and Reeves, S. (2003) A logic for schema-based program development, Formal Aspects of Computing, vol. 15, no. 1, Springer-Verlag.

Deutsch, M., Henson, M. and Reeves, S. (2003) An analysis of total correctness refinement models for partial relation semantics: part 1, The Logic Journal of the IGPL, Oxford University Press, vol. 11, no. 3, May 2003, pp. 285-316.

Utting,M. and Reeves, S. (2001) Teaching Formal Methods Lite via Testing. Journal of Software Testing, Verification and Reliability, vol. 11, no. 3, September 2001, pp. 181-195.

Henson, M.C. and Reeves, S. (2000) Investigating Z. Journal of Logic and Computation,  vol. 10, no. 1, pp. 43-73.

Henson, M.C. and Reeves, S. (1999) Revising Z: logic and semantics. Formal Aspects of Computing Journal, vol. 11, no. 4., pp. 359-380.

Henson, M.C. and Reeves, S. (1999) Revising Z: logical development. Formal Aspects of Computing Journal, vol. 11, no. 4., pp. 381-401.

Bridges, D. and Reeves, S. (1999) Constructive Mathematics in Theory and Programming Practice, Philosophia Mathematica  no. 3, vol. 7, pp.65-104.

Fung, P., O'Shea, T., Goldson, D., Reeves, S. and Bornat, R. (1996) Computer Tools to teach Formal Reasoning, Computers and Education , vol. 27, no. 1, pp. 59-96.

Reeves, S. (1995) Computer support for students' work in a formal system: MacPICT, International Journal on Mathematical Education in Science and Technology, vol. 26, no. 2, pp.159-175.

Fung, P., O'Shea, T., Goldson, D., Reeves, S. and Bornat, R. (1994) Understanding why computer science students find formal reasoning frightening: a case for tools to help them, Journal of Computer Assisted Learning, vol. 10, pp.240-250.

Goldson, D, Reeves, S. and Bornat, R. (1993) A Review of several systems for the Support of Logics in The Computer Journal, vol. 36, no. 4, pp. 373-386.

Goldson, D., Reeves, S., Bornat, R., Fung, P. and O'Shea, T. (1991) Cognitive Skills in Reasoning about Programs in Monitor, vol.1, no. 2.

Reeves, S. (1987) Adding Equality to Semantic Tableaux in Journal of Automated Reasoning, vol. 3, no. 3, pp. 225-246.

Refereed Conference Papers

Bowen, J. and Reeves, S. (2007), "Refinement for User Interface Designs", Proc. of FMIS 2007. (To appear)

Reeves, S. and Streader, D. (2007) "Feature Refinement", Proceedings of SEFM07, London, September 2007, IEEE Publications. (To appear)

Bowen, J. and Reeves, S. (2007) "Using Formal Models to Design User Interfaces: A Case Study", Proceedings of BCS-HCI07, Lancaster, September 2007. (To appear)

Malik, P., Malik, R., Streader, D. and Reeves, S. (2007) "Modular Synthesis of Discrete Controllers", Proceedings of 12th IEEE ICECCS conference, IEEE Publications, Auckland, July 2007.

Bowen, J. and Reeves, S. (2006) "Formal refinement of informal GUI design artefacts" Han, J. and Staples, M. (eds), Proc 2006 Australian Software Engineering Conference, Sydney, Australia, 221-230. IEEE Computer Society, USA.

Reeve, G. and Reeves, S. (2006) "Logic and refinement for charts" Estivill-Castro, V. and Dobbie, G. (eds), Proc Twenty-nineth Computer Science Conference (ACSC 2006), Hobart, Australia, 13-23. Australian Computer Society Inc., Australia.

Reeves, S. and Streader, D. (2005) Atomic components, Liu, Z. and Araki, K. (eds), Proc First International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), LNCS 3407, Guiyang, China, 128-139. Springer-Verlag.

Bowen, J. and Reeves, S. (2005) Including design guidelines in the formal specification of interfaces in Z. Treharne, H., et al. (eds), Proc Fourth International Conference of B and Z Users: Formal Specification and Development in Z and B, LNCS 3455, Guildford, UK, 454-471. Springer-Verlag.

Reeves, S. and Streader, D. (2005) Atomic components. Liu, Z. and Araki, K. (eds), Proc First International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), LNCS 3407, Guiyang, China, 128-139. Springer-Verlag.

Malik, R., Streader, D. and Reeves, S. (2004) "Fair testing revisited: a process-algebraic characterisation of conflicts" Wang, F. (ed), Proc Second International Symposium on Automated Technology for Verification and Analysis (ATVA 2004), LNCS 3299, Taipei, Taiwan, 120-134. Springer-Verlag, Heidelberg.

Pouyan, A. and Reeves, S. (2004) "Behaviour Modelling for Mobile Agent Systems Using Petri Nets", Proc IEEE International Conference on Systems, Man and Cybernetics (SMC 2004), The Hague, The Netherlands, pp. 4935-4940. IEEE Computer Society Press, Los Alamitos.

Reeves, S. and Streader, D. (2003) Comparison of Data and Process Refinement, proceedings of 5th International Conference on Formal Engineering Methods: ICFEM2003, LNCS 2885, eds. J.S. Dong and J. Woodcock, Springer-Verlag, pp. 266-285.(34/91)

Reeves, S. and Streader, D. (2003) State-based and process-based value passing, proceedings of St.Eve @ FM'03, Pisa, September 2003. Available here.

Deutsch, M., Henson, M. and Reeves, S. (2003) Operation Refinement and Monotonicity in the Schema Calculus, proceedings of ZB2003, June 2003, LNCS 2651, Springer-Verlag, pp. 103-126.

Deutsch, M., Henson, M. and Reeves, S. (2002) Results on Formal Stepwise Design in Z, proceedings of APSEC2002, December 2002, IEEE Computer Society. pp. 33-42.

Goldson, D., Reeve, G. and Reeves, S. (2002) μ-Chart-based specification and refinement, Proceedings of ICFEM2002, Shanghai, October 2002, Springer-Verlag. pp. 323-334.

Deutsch, M., Henson, M. and Reeves, S. (2001) An Analysis of Operation Refinement in Z, Proceedings of ISCIS XVI, November 5-7 2001.

Anderson, G., Reeve, G. and Reeves, S. (2001) Idioms for μ-Charts. Proceedings of ASWEC2001. IEEE Computer Society. August 2001, pp. 224-231.

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: Examples and Extensions. Proceedings of APSEC2000. IEEE Computer Society. December 2000. pp. 258-263.

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: Hows, Whys and Wherefores. Proceedings of IFM2000, LNCS 1945. (eds.) W. Grieskamp, T. Santen, B. Stoddart. Springer. November 2000. pp. 256-276.

Utting, M. and Reeves, S. (2000) Implementing Z_C substitutions in Ergo. Proceedings of WESTAPP2000 : 3rd International workshop on explicit substitutions. Norwich, U.K., July 2000. pp. 35-39.

Henson, M. and Reeves, S. (2000) Program Development and Specification Refinement in the Schema Calculus. Proceedings of ZB2000. LNCS 1878. (eds.) J.P. bowen, S. Dunne, A. Galloway, S. King. Springer. September 2000. pp. 344-362.

Groves, L., Nickson, R., Reeve, G., Reeves, S. and Utting, M. (2000) A survey of software requirements specification practices in the New Zealand software industry. Proceedings ASWEC 2000: Australian Software Engineering Conference 2000. (ed.) D. D. Grant. IEEE Computer Society. pp. 189-201.

Henson, M.C. and Reeves, S. (1998) New Foundations for Z, Proceedings of IRW/FMP'98, International Refinement Workshop/Formal Methods Pacific'98, (eds.) Jim Grundy and Martin Schwenke and Trevor Vickers, Springer-Verlag, Singapore, pp. 165-179.

Henson, M.C. and Reeves, S. (1998) A Logic for the Schema Calculus, Proceedings the 11th International Z User Meeting (ZUM'98), Lecture Notes in Computer Science number 1493, (eds.) J. Bowen, A. Fett and M. Hinchey, Springer-Verlag, 1998. pp.172-191.

Reeves, S. (1998) Specifying Collaborative Software: A Proposal, Proceedings of Software Engineering:Education & Practice'98, (ed.) Martin Purvis, IEEE Computer Press, January 1998, pp. 52-59.

Henson, M.C. and Reeves, S. (1997) Constructive Foundations for Z, Proceedings of ISCIS XII, the Twelfth International Symposium on Computer and Information Sciences, S. Kuru, M.U. Caglayan, H.L. Akin (eds.), Bogazici University Press, 80815 Bebek, Istanbul, Turkey, pp. 584-591.

Reeves, S. (1997) Formalizing Awareness: A Survey of some Possibilities, Proceedings of 4th Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'97), M.D. Harrison and J.C. Torres (eds.), Eurographics, 1996, pp. 341-358.

Reeves, S. (1996) A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces, Proceedings of Software Engineering: Education and Practice, January 1996, IEEE Computer Society Press, pp. 98-105.

Reeves, S. (1996) Specifying and Reasoning About CSCW, Proceedings of 3rd. Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'96), F. Bodart, J. Vanderdonckt (eds.), Eurographics Series, Springer-Verlag, Berlin, 1996, pp. 366-383.

Reeves, S., Goldson, D., Fung, P., O'Shea, T., Hopkins, M. and Bornat, R. (1995) The Calculator Project - Formal Reasoning about Programs, in Proceedings of SRIG-ET'94, IEEE Computer Society Press, pp.166-173.

Reeves, S. (1995) Better Software in the Future?, New Zealand Journal of Computing, volume 6, number 1A, pp. 53-58.

Fung, P., O'Shea, T., Reeves, S., Goldson, D. (1995) Introducing Technological Support into Teaching Formal Reasoning: Results of a Pilot Project, in 12th International conference on technology and education proceedings, (eds.) Sechrest, T., Thomas, M., Estes, N., University of Texas at Austin, February 1995.

Fung, P., O'Shea, T., Goldson, D., Reeves, S. and Bornat, R. (1994) A text and graphics approach to formal reasoning. Proceedings of the East-West International Conference on Computer Technologies in Education, September 1994, Crimea, Ukraine, pp. 74-80.

Fung, P., O'Shea, T., Goldson, D., Reeves, S. and Bornat, R. (1992) Computer Science Students' Perceptions of Learning Formal Reasoning Methods in International Journal of Mathematical Education in Science and Technology, vol. 24, no. 5, pp. 749-760.

Fung, P., O'Shea, T., Goldson, D., Reeves, S. and Bornat, R. (1993) Formal Reasoning Phobia: Suggested Causes and Cures, in Proceedings of PEG93 Conference, Edinburgh, pp. 330-340.

Fung, P., O'Shea, T., Goldson, D., Reeves, S. and Bornat, R. (1993) Fear of Formal Reasoning, Proceedings of the Fourth World Conference in AI in ED '93, Edinburgh, pp. 201-208.

Johnson, R. and Reeves, S. (1992) Necessary and possible set reconciliation and unification in semantic tableau systems, in Proceedings of Workshop on Theorem proving with Analytic Tableaux and related methods, Faculty for Informatics, University of Karlsruhe, Germany.

Goldson, G. and Reeves, S. (1992) Using programs to teach logic to computer scientists, in Proceedings of the Conference on the Developments in the Teaching of Computer Science, Computer Laboratory, University of Kent, UK, pp. 167-175.

Fung, P., O'Shea, T., Bornat, R., Reeves, S. and Goldson, D. (1992) Formal Reasoning as a Culture Shock for Computer Science students, in Proceedings of the Conference on the Developments in the Teaching of Computer Science, Computer Laboratory, University of Kent, UK, pp. 26-34.

Reeves, S. (1991) Constructive Mathematics and Programming, in Mathematical Structures for Software Engineering, eds. de Neumann, B., Simpson, D. and Slater, G., Oxford University Press, pp. 219-246.

Reeves, S. (1987) Semantic Tableaux as a Framework for Theorem-proving in Advances in Artificial Intelligence, eds. Hallam, J. and Mellish, C., John Wiley and Sons, pp. 125-140.

Reeves, S. (1987) Semantic Tableaux as Implementation Devices for Theorem-provers, in Proceedings of Workshop on Programming for Logic Teaching, Centre for Theoretical Computer Science, University of Leeds, UK, pp.207-220.

Unrefereed Conference, Workshop, Magazine and Newspaper Articles

Reeves, S. (2000) Program Development, Refinement and Z. Presented at the 5th Anniversary Workshop on Discrete Mathematics and Theoretical Computer Science, Centre for Discrete Mathematics and Theoretical Computer Science, Auckland, New Zealand, 25th May 2000.

Reeves, S. (2000) Survey tackles software development issues. InfoTech Weekly, issue 438,  23rd April 2000. See http://www.infotech.co.nz.

Henson, M.C. and Reeves, S. (1999) Using Z: a note on methodology. Proceedings of the 5th New Zealand Formal Program Development Colloquium. N. Leslie (ed.), IIMS Technical report 99-1, Massey University at Albany, Auckland, New Zealand. pp. 47-56.

Groves, L., Nickson, R., Reeve, G., Reeves, S. and Utting, M. (1999) Improving Software using Requirements Formalisation. Proceedings of the 5th New Zealand Formal Program Development Colloquium. N. Leslie (ed.), IIMS Technical report 99-1, Massey University at Albany, Auckland, New Zealand. pp. 35-38.

Henson, M.C. and Reeves, S. (1997) Intensional Z,working in progress proceedings of FMP'97, Victoria University of Wellington, New Zealand, 1997. Extended abstract available here and pp.305-306 in L. Groves and S. Reeves(eds.) Formal Methods Pacific '97, Proceedings of FMP'97, Springer-Verlag, 1997.

Reeves, S. (1997) Specifying a Collaborative Editor, working in progress proceedings of FMP'97, Victoria University of Wellington, New Zealand, 1997. Extended abstract available here and pp.311-312 in L. Groves and S. Reeves(eds.) Formal Methods Pacific '97, Proceedings of FMP'97, Springer-Verlag, 1997.

Reeves, S and Grundy, J.C. (1996) Towards an integrated refinement environment for formal program development, in Proceedings of the 2nd New Zealand Formal Program Development Colloquium, ed. P. Burgess, Massey University, 1996, also published as working paper 95/26, Department of Computer Science, University of Waikato, August 1995.

Reeves, S. (1996) A Logic for Specifying and Reasoning About Cooperative Environments, in Proceedings of the 2nd New Zealand Formal Program Development Colloquium, ed. P. Burgess, Massey University, 1996, also published as working paper 95/27, Department of Computer Science, University of Waikato, August 1995.

Reeves, S. (1996) PICTCalc - a tool for program development in constructive type theory, in Proceedings of the Fifth Australasian Refinement Workshop, ARW-96, Software Verification Research Centre, University of Queensland, April 1996.

Reeves, S. and Cranefield, S. (eds.) (1995) Proceedings of the Second New Zealand Computer Science Research Students' Conference, Department of Computer Science, University of Waikato, Hamilton, New Zealand.

Broda, K., D'Agostino, M., Gore, R., Johnson, R. and Reeves, S. (editors)(1994) Tableaux-94: 3rd Workshop on Theorem-Proving with Analytic Tableaux and Related Methods, TR-94/5 Department of Computing, Imperial College, University of London, U.K., April 1994.

Reeves, S.(1994) Building Formal Models of Graphical User Interfaces. Proceedings of the First NZ Formal Program Development Colloquium, working paper 94/18, Department of Computer Science, University of Waikato. (Superceded by working paper 95/21.)

Reeves, S. (1989) Principled use of Formal Methods in Colloquium on Formal Methods in HCI, IEE colloquium series, December 1989, pp. 2/1-2/3.

Technical Reports

Reeves, S. and Streader, D. (2003) Comparison of Data and Process Refinement, Working paper 05/05, Department of Computer Science, University of Waikato, Hamilton, New Zealand, April 2003.

Doug Goldson, Greg Reeve and Steve Reeves (2003) μ-Charts-based specification and refinement, Technical report 02-21, , Software Verification Research Centre, University of Queensland, January 2003. See this page for download information.

Henson, M.C., Reeves, S. (2002) A Logic for Schema-based Program Development, CSM-361, Department of Computer Science, University of Essex, February 2002. See this page to download.

Deutsch, M., Henson, M.C., Reeves, S. (2002) An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I, CSM-362, Department of Computer Science, University of Essex, February 2002. See this page to download.

Deutsch, M., Henson, M.C., Reeves, S. (2002) Six Theories of Operation Refinement for Partial Relation Semantics, CSM-363, Department of Computer Science, University of Essex, February 2002. See this page to download.

Deutsch, M., Henson, M.C., Reeves, S. (2002) An Analysis of Operation Refinement in Z, CSM-364, Department of Computer Science, University of Essex, February 2002. See this page to download.

Reeve, G. and Reeves, S. (2001) Experiences Using Z Animation Tools. Technical report 01/3. Department of Computer Science, University of Waikato, May 2001. (Available here .)

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: Extending the Translation. Technical report 00/11, Department of Computer Science, University of Waikato, New Zealand, June 2000.

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: hows, whys and wherefores. Technical report 00/06, Department of Computer Science, University of Waikato, New Zealand, March 2000. (gzipped postscript available here.)

Groves, L., Nickson, R., Reeve, G., Reeves, S. and Utting, M. (1999) A survey of software requirements specification practices in the New Zealand software industry.Working Paper 99/8, Department of Computer Science, University of Waikato, 1999.  (PDF file available here; gzipped postscript available here.)

Henson, M.C. and Reeves, S. (1998) Investigating Z: the schema calculus, CSM-317, Department of Computer Science, University of Essex, Wivenhoe Park, COLCHESTER, Essex, CO4 3SQ, U.K.

Henson, M.C. and Reeves, S. (1998) New Foundations for Z, CSM-312, Department of Computer Science, University of Essex, Wivenhoe Park, COLCHESTER, Essex, CO4 3SQ, U.K.

Henson, M.C. and Reeves, S. (1998) A Logic for the Schema Calculus, CSM-310, Department of Computer Science, University of Essex, Wivenhoe Park, COLCHESTER, Essex, CO4 3SQ, U.K.

Apperley, M., Gianoutsos, S., Grundy, J., Paynter, G., Reeves, S. and Venable, J. (1996) Notes: An Experiment in CSCW, Working Paper 96/9, April 1996, Department of Computer Science, University of Waikato, Hamilton, New Zealand.

Blackett, C. and Reeves, S. (1996) CSCW in New Zealand: A Snapshot, Working Paper 96/15, Department of Computer Science, University of Waikato, Hamilton, New Zealand, July 1996.

Reeves, S. (1995) A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces , working paper 95/21, Department of Computer Science, University of Waikato, August 1995.

Goldson, D., Hopkins, M. and Reeves, S. (1994) MiraCalc: The Miranda Calculator, The Unix Version . Working paper 94/5, Department of Computer Science, University of Waikato, NZ.

Reeves, S. (1994) A Calculator for supporting derivation in constructive type-theory: PICTCalc. Working paper 94/8, Department of Computer Science, University of Waikato, NZ.

Reeves, S. (ed.), (1994) Proceedings of the First New Zealand Formal Program Development Colloquium, working paper 94/18, Department of Computer Science, University of Waikato.

Reeves, S.(1994) Yet Another Introduction to Constructive Type Theory. Proceedings of the First NZ Formal Program Development Colloquium, working paper 94/18, Department of Computer Science, University of Waikato, pp. 13-24.

Reeves, S. (1993) Using the MacPICT system, version 3. Internal report, Department of Computer Science, QMW, University of London, UK.

Goldson, D. and Reeves, S. (1993) Computer support for logic teaching in Notices of the American Mathematical Society, February.

Johnson, R. and Reeves, S. (1992) Necessary and possible set reconciliation and unification in semantic tableau systems. Internal report 586, Department of Computer Science, QMW, University of London, UK.

Reeves, S. (1992) Using the MacPICT system. Internal report, Department of Computer Science, QMW, University of London, UK.

Goldson, D. and Reeves, S. (1992) Using programs to teach logic in Computers and Text, CTI Centre for Textual Studies, University of Oxford, number 3, pp. 8-10.

Reeves, S. (1992) Using the MacPICT system, version 2. Internal report, Department of Computer Science, QMW, University of London, UK.

Goldson, D. and Reeves, S. (1991) The Language of First-order Logic by Barwise and Etchemendy, review. Internal report 546, Department of Computer Science, QMW, University of London, UK.

Goldson, D. and Reeves, S. (1991) Teaching Computer Science using Formal Methods. Internal report 547, Department of Computer Science, QMW, University of London, UK.

Goldson, D., Reeves, S. and Bornat, R. (1991) A Review of several systems for the Support of Logics. Internal report 548, Department of Computer Science, QMW, University of London, UK.

Reeves, S. (1989) Some extensions to Semantic Tableaux. Internal report 545, Department of Computer Science, QMW, University of London, UK.

Gikas, S., Johnson, P. and Reeves, S. (1989) Formal framework for task oriented modelling of devices. Internal report 583, Department of Computer Science, QMW, University of London, UK.

Reeves, S. (1987) Implementation of a Theorem-prover based on Semantic Tableaux. Internal report 402, Department of Computer Science, QMC, University of London, UK.

Reeves, S. (1986) Adding Equality to Semantic Tableaux. Internal report 382, Department of Computer Science, QMC, University of London, UK.

Reeves, S. (1986) Propositions as Types - tutorial notes. Internal report 397, Department of Computer Science, QMC, University of London, UK.

Reeves, S. (1985) An example of algorithm development in Intuitionistic Type Theory. Internal report 351, Department of Computer Science, QMC, University of London, UK.

Reeves, S. (1985) A Note on Functional Reflexivity. Internal report 359, Department of Computer Science, QMC, University of London, UK.

Reeves, S. (1985) An example of algorithm development in Intuitionistic Type Theory. Internal report 407, Department of Computer Science, QMC, University of London, UK.

Reeves, S. (1982) Theorem-proving and Computer Science. Internal memorandum, CSM-54, Department of Computer Science, University of Essex, UK.

Reeves, S. (1982) An Introduction to Semantic Tableaux. Internal memorandum, CSM-55, Department of Computer Science, University of Essex, UK.


Return to my personal web page