Mechanisms for Efficient Multiprocessor Combinator Reduction. - Michel Lemaître; Michel Castan; M.-H. Durand; Guy Durrieu; Bernard Lécussan (LISP and Functional Programming, 1986)

A Set of Combinators for Abstraction in Linear Space. - Michel Castan; M.-H. Durand; Michel Lemaître (Inf. Process. Lett., 1987)

Testing levels for object-oriented software. - Yvan Labiche; Pascale Thévenod-Fosse; Hélène Waeselynck; M.-H. Durand (ICSE, 2000)