Premières mesures sur l'interpréteur de PROLOG II. - Aristide Mégrelis; D. Sciamma; T. Banel (SPLT, 1984)

XLOG: types, fonctions et tableaux dans Prolog. - D. Sciamma; X. Sola; Aristide Mégrelis (SPLT, 1985)

An Introduction to OBJ 3. - Joseph A. Goguen; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis; José Meseguer 001; Timothy C. Winkler (CTRS, 1987)

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. - Jean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis (ALP, 1988)

Partial Algebra + Order-Sorted Algebra = Galactic Algebra. - Aristide Mégrelis (LFCS, 1992)

Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. - Jean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis (J. Log. Program., 1992)