Daniel Le Métayer ACE: An Automatic Complexity Evaluator. 248-266 1988 10 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/42190.42347 db/journals/toplas/toplas10.html#Metayer88