Anindya Basu: A Language-Based Approach to Protocol Construction. Cornell University, USA 1997