532
We used
Symbolic Dymanics and Coding
by Lind and Marcus.