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