Automata, Computability, and Complexity: Theory and Applications by Elaine Rich

Hidden Markov Models

Good Overviews of HMMs

The Viterbi and Forward algorithms

The Forward-Backward (Baum-Welch) algorithm