Tabareau, Südholt, Tanter, 2014. Aspectual session types, in: . ACM Press.. https://doi.org/10.1145/2577080.2577085