Bijective sequential mappings of a free monoid onto another C. Choffrut (1994) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Bounded queries to arbitrary sets A. Lozano (1996) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications