Botik '89, Pereslavlʹ-Zalesskiĭ, R.S.F.S.R, Meyer, A. R., & Taitslin, M. A. (1989). Logic at Botik '89: Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationBotik '89, Pereslavlʹ-Zalesskiĭ, R.S.F.S.R, Albert R. Meyer, and M. A. Taitslin. Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings. Berlin ; New York: Springer-Verlag, 1989.
MLA (8th ed.) CitationBotik '89, Pereslavlʹ-Zalesskiĭ, R.S.F.S.R, et al. Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings. Springer-Verlag, 1989.
Warning: These citations may not always be 100% accurate.