Join inverse categories and reversible recursion - Kaarsgaard, Robin; Axelsen, Holger Bock; Glück, Robert (Journal of logical and algebraic methods in programming, 2017)