A calculus of durations (1991)

by C Zhou, C A R Hoare, A P Ravn
Venue:Information Processing Letters