by Botik '89 (1989 Pereslavlʹ-Zalesskiĭ, R.S.F.S.R.)
"The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences…