Ph.D. Thesis

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.