Algorithmic Differentiation: Application to Variational Problems in Computer Vision. - Thomas Pock; Michael Pock; Horst Bischof (IEEE Trans. Pattern Anal. Mach. Intell., 2007)