Optimal finite state universal coding of individual sequences | IEEE Conference Publication | IEEE Xplore