General design of reversible sequential machines based on reversible logic elements. - Ming-Xiao Tang; Jia Lee; Kenichi Morita (Theor. Comput. Sci., 2015)