Reduction of the problem of memory allocation in programming to the problem of colouring the vertices of a graph (1962)

by A P Ershov
Venue:Doklady Academii Nauk SSSR 142, 4 (1962) 785--787. English version in Soviet Mathematics 3