In the entry for sequence A135342 the following recurrence is given: a(n) = 2*a(n-1) - a(n-2) + phi(n-1) for n>3. It would be nice if there is a link (or description) of the derivation of this recurrence.