The thesis has the title of "Theory of X-machines with Applications in Specification and Testing" and was submitted in July 1995. Individual parts of the thesis are available separately.

You can download the whole lot as a single .zip file here.

• Title page

• Abstract

• Acknowlegements

• Table of contents

• Chapter 1

• Chapter 2

• Chapter 3

• Chapter 4

• Chapter 5

• Chapter 6

• Index

• References