Pearlmutter, Barak A. and Link, Hamilton E. (2002) Algorithmic Differentiation through Convergent Loops. Project Report. UNSPECIFIED.