1. Combinatorics on words — A tutorial;Bestel;Bulletin of the EATCS,2003
2. Problem 10.3. Freeness of multiplicative matrix semigroups;Blondel,2004
3. Some decision problems on integer matrices;Choffrut;Theoretical Informatics and Applications,2005
4. Concrete Mathematics;Graham,1994
5. V. Halava, T. Harju, M. Hirvensalo, Undecidability bounds for integer matrices using Claus instances, TUCS Technical Report, Number 766, 2006