A doubleside finite automate - Ruận, Đặng Huy (Journal of Computer Science and Cybernetics, 2012)