"Reducing the problem of memory allocation during programming to the problem of coloring the nodes of a graph"

"On estimates for chromatic number of connected graphs"

on the theory of parallel algorithms

"Hammocks theory". Results on decomposition of graphs into hammocks are obtained. The work was begun on 20 Oct. 1961 and was delayed on 10 Nov.

"Input language for automated programming systems" (draft)

"The main construction principles of the programming program of the USSR SBAS Inst. of Mathematics" - revised for the "Siberian Mathematical Journal"

"The main problems of the programming program construction" (handwritten)

The Institute of Mathematics' project on the programming program"