Paramorphisms. Formal Aspects of Computing (1992)

by L Meertens