Kauers, Manuel D-finite functions Cham, Switzerland : Springer, 2023. x, 664 p. -- (Algorithms and computation in mathematics ; vol. 30) QA372 K3775