SMS dit: The ALPHA automatic programming system. / Edited by A.P. Yershov. Translated by J. McWilliam.