Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. - Dominique Cansell; Dominique Méry; Christophe Tabacznyj (IPDPS Workshops, 2000)

Abstract Clustering for Program Comprehension. - Christophe Tabacznyj (IWFM, 2000)