A naïve time analysis and its theory of cost equivalence (1995)

by D Sands
Venue:Journal of Logic and Computation