This directory contains the PostScript for Jim Grundy's PhD dissertation
entitled `A Method of Program Refinement'.  The document runs to 220 pages
and is formatted with the intention of being printed double sided on A4 paper.
A copy of the abstract is also available in the directory.  Each of the files
is available uncompressed (files with a .ps extension), compressed with the
UNIX compress command (files with a .ps.Z extension), and compressed with
the GNU gzip command (files with a .ps.gz extension).  gzip gives getter
compression than compress, so fetch the .ps.gz files in preference to the
others.  The abstract is also available as a dvi file.

This dissertation is also available as Computer Laboratory
Technical Report 318.  Copies may be obtained by writing to:
 
   Mr Lewis Tiffany, Librarian 
   University of Cambridge 
   Computer Laboratory 
   New Museums Site
   Pembroke Street
   Cambridge  CB2 3QG
   ENGLAND

The following is a valid BibTeX entry for the dissertation:

   @PHDTHESIS{Gru93c,
      author      = "Jim Grundy",
      title       = "A Method of Program Refinement",
      school      = "University of Cambridge, Computer Laboratory",
      address     = "New Museums Site, Pembroke Street,
                     Cambridge CB2 3QG, England",
      note        = "Technical Report 318",
      month       = nov,
      year        = 1993}

If you have any questions about this dissertation,
feel free to contact the author.

Jim Grundy

Abo Akademi University
Department of Computer Science
Lemminkaisenkatu 14a
20520  Turku
FINLAND

Email: jim.grundy@abo.fi
Fax:   +358 (9)21 2654732
WWW:   http://www.abo.fi/~jgrundy/