The economic adjustment programme for Ireland (Publications office of the European Union, 2011)