Many-Sorted Temporal Logic for Multi-Processes Systems. - Patrice Enjalbert; Max Michel (MFCS, 1984)

Algebre de machines et logique temporelle. - Max Michel (STACS, 1984)

Interval Logics and Sequential Transducers. - Max Michel; Jean-Bernard Stefani (CAAP, 1988)

Unambiguous Büchi automata. - Olivier Carton; Max Michel (Theor. Comput. Sci., 2003)