1. Kuzmin, E.V., LTL-specification of counter machines, Autom. Control Comput. Sci., 2022, vol. 56, pp. 711–722. https://doi.org/10.3103/S0146411622070112
2. Minsky, M., Computation: Finite and Infinite Machines, Prentice-Hall, 1967.
3. Schroeppel, R., A two counter machine cannot calculate 2N, Artificial Intelligence Memo, Artificial Intelligence Laboratory, 1972, no. 257, p. 32.
4. Kuzmin, E.V., Schetchikovye mashiny (Counter Machines), Yaroslavl: Yaroslavl. Gos. Univ., 2010.
5. Cadence SMV. http://www.kenmcmil.com/smv.html.