Tupling functions with multiple recursion parameters (1993)

by W-N Chin, S-C Khoo
Venue:Static Analysis, WSA’93, Proceedings, LNCS 724