Centralisers of formal maps - Anthony G. O'Farrell (2020)