S. Saumjan, “The genotype langage and formal semantics”, allj, vol. 5, no. 1, pp. 74-99, Dec. 1981.