Calculi for time analysis of functional programs (1990)

by David Sands