Precise minimax redundancy for Markov sources | IEEE Conference Publication | IEEE Xplore