Logic and Bisimulation
I just put my old PhD thesis online here (10MB). There are occasional requests for it, most recently from a student from Nankai University. So, in the interest of Science, I scanned the whole thing and put it all in a PDF. Spent almost the whole day doing it! Wouldn’t have had to do this if I still had the LaTeX source for it.