Grammaires à peignes et grammaires matricielles de substitution programmées : Application à la logique. - L'Hospitalier, Yvon. (Université de Paris VI, 1975)