Zippy Tabulations of Recursive Functions - Bird, R (Mathematics of Program Construction, 2008)