Middelburg C.A. Truth of duration calculus formulae in timed frames / C.A.Middelburg, 1998. - 22 p. - Текст : непосредственный.
Bergstra J.A. Discrete time process algebra and the semantics of SDL / J.A.Bergstra,C.A.Middelburg,Y.S.Usenko, 1998. - 48 p. - Текст : непосредственный.