Wimp J. Computation with Recurrence Relations 1984