Mario Bravetti, Julien Lange, Gianluigi Zavattaro: Fair Asynchronous Session Subtyping. Log. Methods Comput. Sci. 20(4) (2024)