Un langage logique orienté objet. - Patrick Sallé; Christiane Massoutie; Marcel Gandriau (SPLT, 1986)

Classes et Types: aides à la programmation en logique. - Marcel Gandriau; Christiane Massoutie (SPLT, 1989)

Action Language for the UML. - Bernard Coulette; Marcel Gandriau; Ileana Ober (LMO, 2000)