Some properties of recognizable Z-subsets - Kobayashi, Nami (Theoretical Computer Science, 2003)