Type Systems for Distributed Programs: Components and Sessions - Ornela Dardha (Springer, 2016)