Implementation of the Alpha-6 programming system. - A. O. Buda; A. A. Granovaky; Andrei P. Ershov (Reliable Software, 1975)