- Mobile HCI, volume 2411 of Lecture Notes in Computer Science, page 419-424. Springer, (2002)
- Acta Inf. (1984)
- MIE, volume 136 of Studies in Health Technology and Informatics, page 455-460. IOS Press, (2008)
- Methods of Algorithmic Language Implementation, volume 47 of Lecture Notes in Computer Science, page 21-40. Springer, (1975)
- IEEE Transactions on Audio, Speech & Language Processing 14(1):321-329 (2006)
- Lect. Notes in Comp. Sci. Springer-Verlag, New York--Heidelberg--Berlin, (August 1988)
- Acta Informatica (December 1984)See also: rapport RR 211, INRIA, Rocquencourt May 1983. .
- Methods of Algorithmic Language Implementation, volume 47 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, (1977)
- thèse d'État, University Paul Sabatier, Toulouse, (November 1974)
- Proving and Improving Programs, INRIA, Rocquencourt, Arc et Senans . (July 1975)
- MUM, volume 154 of ACM International Conference Proceeding Series, page 19-25. ACM, (2005)
- Method and tools for compiler construction, page 1-6. Cambridge University Press, (1983)
- Lecture Notes in Computer Science Springer, (1988)


author