Markov types and minimax redundancy for Markov sources | IEEE Journals & Magazine | IEEE Xplore