Độ phức tạp ôtômat hữu hạn của biểu thức chính quy hai phía - Đặng Huy Ruận.