Fundamentals of Session Types, Formal Methods for Web Services - Vasco T. Vasconcelos (2010)