Computational methods for ice flow simulation - Kallen-Brown, Jedediah Aspen (ETH Zurich, 2011)