How Iterative Reflections of Monads are Constructed - Adámek, Jiří; Milius, Stefan; Velebil, Jiří (Information and Computation, 2013)