Generation of regular expressions for automata by the integral of regular expressions. - L. W. Smith; Stephen S. Yau (Comput. J., 1972)