A logical foundation for session-based concurrent computation - Toninho, Bernardo Parente Coutinho Fernandes (2015)