Upwards and downwards accumulations on trees (1993)

by J Gibbons
Venue:Mathematics of Program Construction. Volume 669 of Lecture Notes in Computer Science., Springer-Verlag