Intensional Equality in Categories With Structure and Coherence Problems. - Anne Preller; N. Lafaye de Micheaux (Math. Log. Q., 1988)

Confluence for Graph Transformations. - N. Lafaye de Micheaux; C. Rambau (Theor. Comput. Sci., 1996)