Ruận, Đặng H. A Doubleside Finite Automate. JCC 2012, 19, 1-4.