Linearly Refined Session Types - Baltazar, Pedro; Mostrous, Dimitris; Vasconcelos, Vasco Thudichum (2012)