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:

and here is its bookmark: