The ALPHA automatic programming system - Ershov, Andrei Petrovich. (Academic Press, 1971)