Yuri Leonidovich Ershov

发表

Yuri Leonidovich Ershov, Yuri Leonidovich Ershov, 1993, Formal Methods in Programming and Their Applications.

Yuri Leonidovich Ershov, Yuri Leonidovich Ershov, 1997, Theor. Comput. Sci..