Time analysis, cost equivalence and program refinement (1991)

by D Sands
Venue:In Proceedings Conference on the Foundations of Software Technology and Theoretical Computer Science