Jefferson, D.R.. "Virtual Time." ACM Transactions on Programming Languages and Systems 7, no. 3 (1985): 404-425.