[Graham G. Thomson]: typescript-copy of doctoral thesis, entitled “The Design and Construction of a State Machine System that Handles Nondeterminism”. Submitted July 2004 to the Department of Computing, University of Surrey. Two volumes: the second volume consists of appendices to the thesis.
Both volumes 300x210 mm. Folio approx.  pages (vol. I);  pages (vol.II). Paper. Gold-tooled, leather-backed wood boards. Includes College bookplate on inside front board.