Paul C. Bell; Igor Potapov On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups(անգլ.) // International Journal of Foundations of Computer Science : journal. — World Scientific, 2010. — Т. 21.6. — С. 963—978. — doi:10.1142/S0129054110007660
Christian Choffrut; Juhani Karhumäki Some decision problems on integer matrices. (und) // ITA. — 2005. — Т. 39(1). — С. 125—131. — doi:10.1051/ita:2005007