Making Session Types Go - Geraldo, João Miguel Pereira do Cano Rico (2022)