I couldn't find his PhD thesis - the best I could do was the mitpress site which contains selected chapters: http://mitpress.mit.edu/catalog/item/default.asp?t

I couldn't find his PhD thesis - the best I could do was the mitpress site which contains selected chapters: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=9750&mode=toc http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&#38... Also, he has a list of selected older papers at his homepage: http://www-2.cs.cmu.edu/~sef/sefPubs.htm http://www-2.cs.cmu.edu/~sef/sefPubs.htm