Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, Jesper Bengtson: Machine-checked semantic session typing. CPP 2021: 178-198