Generic and indexed programming international spring school, SSGIP 2010, Oxford, UK, March 22 - 26, 2010 ; revised lectures (Springer, 2012)