Andrew Ireland Alan Bundy Automatic Verification of Functions with Accumulating Parameters. 225-245 1999 9 J. Funct. Program. 2 db/journals/jfp/jfp9.html#IrelandB99