1. Dikovski, A., Kanovich, M. (1985). Computational models with separable problems. Cybernetics (Technicheskaya Kibernetika) N5, 36–59 (In Russian).
2. Howard, P. (1980). The formulae-as-types notion of construction. In: To H. B. Curry. Essays on logic, lambda calculus and formalism. Pp. 479–490.
3. Kahro, M., Kalja, A., Tyugu, E. (1981). Instrumental Programming System ES EVM (PRIZ). Moscow: Finansy i Statistika (in Russian).
4. Kleene, S. (1952). Introduction to Metamathematics. Amsterdam: North-Holland.
5. Mints, G., Tyugu, E. (1982). Justification of the structural synthesis of programs. Science Comput. Prog.
N2, 215–240.