A calculus of durations (1991)

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