Mathematical Foundations of Time Warp Systems. - Jonathan I. Leivent; Ronald J. Watro (ACM Trans. Program. Lang. Syst., 1993)