My favourite way of understanding how the Viterbi algorithm is applied to HMMs. Can also be helpful in understanding search for unit selection speech synthesis.
S. J. Young, N. H. Russell and J. H. S. Thornton. “Token Passing: a Simple Conceptual Model for Connected Speech Recognition Systems”, 1989. Technical report 38 from Cambridge University Engineering Department.