§ Butcher group

I really want to read the math about the butcher group, which was introduced to study numerical solutions of ODEs using RK, and then had far-reaching theoretical applications. Connes remarked:
We regard Butcher’s work on the classification of numerical integration methods as an impressive example that concrete problem-oriented work can lead to far-reaching conceptual results.