• 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

  • Doroshenko A and Godlevsky A. Constructing parallel implementations with algebraic programming tools the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis. 10.1109/AISPAS.1995.401329. 0-8186-7038-X. (271-277).

    http://ieeexplore.ieee.org/document/401329/

  • Doroshenko A and Godlevsky A. (1995). Parallelising programs with algebraic programming tools. EURO-PAR '95 Parallel Processing. 10.1007/BFb0020502. (685-690).

    http://link.springer.com/10.1007/BFb0020502

  • Doroshenko A. (1995). Dynamic models of parallel computations for macropipelined programs. Cybernetics and Systems Analysis. 10.1007/BF02366619. 31:6. (818-834). Online publication date: 1-Nov-1995.

    http://link.springer.com/10.1007/BF02366619