The closure under division and a characterization of the recognizable Z-subsets - Kobayashi, Nami (Informatique Théorique et Applications, 1996)