3 works on record
Involution
Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (Algorithms and Computation in Mathematics Book 24)
Computer Algebra in Scientific Computing