Keyvan Azadbakht, one of my friends has defended his PhD thesis, on "Asynchronous Programming in the Abstract Behavioural Specification Language".  I've designed Keyvan's thesis cover: