Finite-memory problems and algorithms | IEEE Journals & Magazine | IEEE Xplore