Aceto, et al.. Adventures in Monitorability: From Branching to Linear Time and Back Again. no. POPL, Association for Computing Machinery (ACM), Jan. 2019, doi:10.1145/3290365.