Calculi for Time Analysis of Functional Programs (1990)

by D Sands