Steve Reeves' Writings |

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.)

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.

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.

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.

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.