V. M. Antimirov and P. D. Mosses, “Rewriting Extended Regular Expressions”, DPB, vol. 22, no. 461, Nov. 1993.