Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms. - Arthur C. Fleck; R. S. Limaye (SIAM J. Comput., 1983)