Polymorphic time systems for estimating program complexity (1992)

by Vincent Dornic, Pierre Jouvelot, David K Gifford
Venue:ACM Letters on Programming Languages and Systems