Automatic verification of functions with accumulating parameters (1999)

by Andrew Ireland, Alan Bundy
Venue:Journal of Functional Programming