A Sound Algorithm for Asynchronous Session Subtyping - Bravetti, Mario (2019)