Tom Head Dennis Pixton Splicing and Regularity. 119-147 2006 Recent Advances in Formal Languages and Applications https://doi.org/10.1007/978-3-540-33461-3_5 series/sci/2006-25 db/series/sci/sci25.html#HeadP06