Calculating Recurrences Using the Bird-Meertens Formalism (1992)

by W Cai, D Skillicorn
Venue:Science of Computer Programming