Văn bản này: Dve interpreta︠t︡sii logicheskikh sistem / V. V. ︠T︡Selishchev, A. V. Bessonov.