1. Apt, K.R.: A static analysis of CSP programs. Lecture Notes in Comp. Sci. (1984), 164, 1–17.
2. Ershov, A.P.: Operator algorithms. I. Problemy kibernetiki (1960), 3, 5–48.
3. Golovyashkina, L.V., Kolosova, Yu.I., Kosarev, Yu.G., Mirenkov, N.N.: Automation of parallel programming based on existing translators. Vychislitelnye sistemy. (1968), 30, 63–69.
4. Kerbel, V.G., Kolosova, Yu.I., Korneev, V.D., Krylov, E.G., Mirenkov, N.N.: Preprint, Institut Matematiki SOAN SSSR, Novosikirsk 1979.
5. Lipton, R., Snyder, L., Zalcstein, Y.: Comparative study of Models of Parallel Computation. 15th Ann.Symp.on Switching and Automata Theory (1974), 145–155.