Aleshnikov, S. ., Boltnev, J. F., Esik, Z., Ishanov, S., & Kuich, W. (2006). Formalnyje jaziki i automaty III. Magazinnyje automaty if formalnyje stepennyje rjady. (Formal languages and automata III: Pushdown automata and algebraic power series.).
Vestnik Rossiyskogo Gosudarstvennogo Universiteta Im. Immanuila Kanta. Vyp. 10: Ser. Fisiko-Matematicheskije Nauki.- Kaliningrad,
10, 8–27.
http://hdl.handle.net/20.500.12708/172135 ( reposiTUm)