Huybrechts P, T Payne, and the EISMINT Intercomparison Group (1996) The EISMINT benchmarks for testing ice-sheet models. Annals of Glaciology, 23 1-14 
Pattyn, F (2003) A new three-dimensional higher-order thermomechanical ice sheet model: Basic sensitivity, ice stream development, and ice flow across subglacial lakes. J. Geophys. Res., 108, B8, 2382, doi:10.1029/2002JB002329.
Payne AJ, and DJ Baldwin (2000) Analysis of ice-flow instabilities identified in the EISMINT intercomparison exercise. Ann. Glaciol., 30, 204-210 doi:10.3189/172756400781820534
Payne AJ, P Huybrechts, A Abe-Ouchi, R Calov, JL Fastook, R Greve, SJ Marshall, et al. (2000) Results from the EISMINT model intercomparison: the effects of thermomechanical coupling. Journal of Glaciology, 46(153), 227-238
Pattyn. A new three-dimensional higher-order thermomechanical ice sheet model: Basic sensitivity, ice stream …. J. Geophys. Res (2003) pdf
Ferziger JH and M Perić (2002) Computational Methods for Fluid Dynamics, 3rd Ed. Berlin: Springer 
Hindmarsh RCA, and K Hutter (1988) Numerical fixed domain mapping solution of free-surface flows coupled with an evolving interior field. International Journal for Numerical and Analytical Methods in Geomechanics, 12(4), 437-459, doi:10.1002/nag.1610120407.
Oliveira S and DE Stewart (2006) Writing Scientific Software: A Guide to Good Style, Cambridge: Cambridge University Press 
Metcalf M, Reid J and Cohen M (2004) fortran 95/2003 explained, Oxford: Oxford University Press 
References on adjoint methods and automatic differentiation
Giering, R. and T. Kaminski, 1998: Recipes for adjoint code construction. ACM Transactions on Mathematical Software, 24, 437-474.
Griewank, A. and A. Walther, 2008: Evaluating Derivatives. Principles and Techniques of Algorithmic Differentiation (2nd ed.). SIAM Frontiers in Applied Mathematics, Vol. 19, Philadelphia, 2008.
Heimbach, P. and V. Bugnion, 2009: Greenland ice sheet volume sensitivity to basal, surface, and initial conditions, derived from an adjoint model. Annals of Glaciology, 50(52), 67-80.
MacAyeal, D.R., 1993: A tutorial on the use of control methods in ice-sheet modeling, J. Glaciol. 39(131), pp. 91-98.
MacAyeal, D.R. and V. Barcilon, 1998: Finding Connections Between Data and Theory: Applications in Geophysical Sciences. University of Chicago, Chicago, IL pdf
Wunsch, C., 2006: Discrete Inverse and State Estimation Problems: With Geophysical Fluid Applications. Cambridge University Press.