Alex Simpson, Niels F. W. Voorneveld: Behavioural Equivalence via Modalities for Algebraic Effects. ACM Trans. Program. Lang. Syst. 42(1): 4:1-4:45 (2020)