Andrei P. Ershov 1931-1988. - Vadim E. Kotov; J. Pottossine (Theor. Comput. Sci., 1989)