The title of my PhD thesis is "Combining Semi-formal and Formal Notations in
Software Specification: An Approach to Modelling Time-Constrained Systems".
The thesis defense took place on September 12, 2001, at Dalhousie University,
Halifax, Nova Scotia, Canada.
Here you can find this thesis in PDF zipped format.
The zip file contains 12 chapters,
but Chapter 00 is actually the introduction of the thesis (table of contents, abstract,
etc.) while Chapter 11 has the references and three appendices. I used this
notation for consistency reasons. The downloadable file has about 1.4 MBytes.
When editing the original I used, among other fonts, Umbra and AGaramond.
If you don't have them on your computer the titles of the chapters (in particular)
as well as the main font may look strange. However, the contents of the
thesis is not affected.