MoL-2013-25: Renard, Anthony (2013) A Final Coalgebra Theorem in the Context of Algebraic Set Theory. [Report]