The Session Abstract Machine - Caires, Luís (2024)