1. V.E.Malyshkin. Linearized mass computation, in Proceedings of Parallel Computing Technologies International Conference (1991) Novosibirsk, 339–353.
2. V.A. Anisimov, V.E.Malyshkin. Assemble Parallel Programming System INYA, in Proceedings of Parallel Computing Technologies International Conference (1991) Novosibirsk, 339–353.
3. V.A. Valkovskii, V.E. Malyshkin. Parallel Program Synthesis on the basis of Computational Models. (Nauka, Novosibirsk, 1988, in Russian).
4. Ju.I. Janov. On Logical Schemes of the Algorithms. In Problemy Kibernetiki, Vol.1 (1958), Moscow, pp.75–127 (In Russian).
5. A. Pnuely, R. Zashi. Realizing an equational specifications-Lect Notes in Comp. Science, V.115 (1981) pp.459–478.