Non-abelian fundamental groups and Iwasawa theory (Cambridge University Press, 2012)