Relation lifting, a survey - Kurz, Alexander; Velebil, Jiří (Journal of logical and algebraic methods in programming, 2016)