On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control - Forster, Y; Kammar, O; Lindley, S; Pretnar, M (Proceedings of the ACM on Programming Languages, 2017)