Ralph Benzinger Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming. 3-31 2001 11 J. Funct. Program. 1 db/journals/jfp/jfp11.html#Benzinger01