This CD-ROM contains the following files/directories at the root 
level:

packages - GhostScript and GhostView packages for viewing the
           thesis PostScript files in the "thesis" directory.

thesis - The PostScript files used to generate the thesis document.

vdm - Contains the VDM-SL specifications described in the thesis and
      the project files used by the IFAD VDM-SL Toolbox package to
      check the specifications.

vdm-grouped - Contains essentially the same files as in "vdm" above
              but logically groups the files in order of service or
              functionality.

README!.txt - This file.

Derek Wong.
(05/04/2001)
