A Mean Value Calculus of Durations (1994)

by Zhou Chao Chen, Li Xiao Shan
Venue:In A Classical Mind (Essays in Honour of C.A.R. Hoare), Edited by A.W.Roscoe, Prentice-Hall