T. Bourke, P. Jeanmaire, M. Pouzet : “Une sémantique de Kahn mécanisée pour les machines à états”, JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, vol. JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Oberbronn, France (2026)