Mario Bravetti, Gianluigi Zavattaro: Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION 2018: 21-50