Calculi for Time Analysis of Functional Programs (1990)

by David Sands