Generic and indexed programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures - Jeremy Gibbons, editor ([, Springer-Verlag], 2012)