Reduction of the problem of memory allocation in programming to the problem of coloring the vertices of graphs (1962)

by A P Ershov
Venue:Doklady Akademii Nauk S.S.S.R. 142, 4(1962), English translation in Soviet Mathematics