1. Kuzmin, E.V., Neklassicheskie logiki vyskazyvanii (Nonclassical Propositional Logics), Yaroslavl: Yaroslav. Gos. Univ. im. P.G. Demidova, 2016.
2. Priest, G., An Introduction to Non-Classical Logic. From If to Is, Cambridge Introduction to Philosophy, Cambridge University Press, 2008, 2nd ed.
3. Minsky, M., Computation: Finite and Infinite Machines, Englewood Cliffs, N.J.: Prentice-Hall, 1967.
4. Schroeppel, R., A two counter machine cannot calculate 2N, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 1972.
5. Kuzmin, E.V., Schetchikovye mashiny (Counter Machines), Yaroslavl: Yaroslav. Gos. Univ., 2010.