I just noticed that William Baxter has published his thesis online, together with to other really interesting theses -- http://www.cs.unc.edu/~baxter/projects/index.html. Gripping stuff! Boudewijn