Polymorphic Time Systems for Estimating Program Complexity. - Vincent Dornic; Pierre Jouvelot; David K. Gifford (LOPLAS, 1992)