ACE: An Automatic Complexity Evaluator (1988)

by D Le Métayer
Venue:ACM Transactions on Programming Languages and Systems