Purely Functional Processes
with applications to
Graphical User Interfaces
is available in print and on the web.
The web version of the thesis is currently available in the following formats:
The Table of contents ( 7 Jun 2010) may also be a good starting point.
All internal cross references are hyperlinks. There are also a lot of hyperlinks to the Fudget Library Reference Manual. The bibliography, has hyperlinks to authors' home pages and online versions of papers, where available.