Godlevskii A.
(1996). Parallel dynamic semantics of sequential programs with speculative and incremental computation. Cybernetics and Systems Analysis. 10.1007/BF02366540. 32:2. (265-280). Online publication date: 1-Mar-1996.http://link.springer.com/10.1007/BF02366540