Holonomic functions and their relation to linearly constrained languages P. Massazza — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
On the inclusion problem for finitely ambiguous rational trace languages A. Bertoni; P. Massazza — 1998 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications