`setup by M. Karr` -> `described by Karr [1]:`

And then put the citation information as a reference in the docstring:

    M. Karr, "Summation in Finite Terms", section 1.4, definition 3, p. 309