Vadim E. Kotov J. Pottossine Andrei P. Ershov 1931-1988. 1-4 1989 67 Theor. Comput. Sci. 1 db/journals/tcs/tcs67.html#KotovP89