Aristide Mégrelis
发表
Claude Kirchner,
Hélène Kirchner,
Aristide Mégrelis,
2000
.
Hélène Kirchner,
Jean-Pierre Jouannaud,
Claude Kirchner,
1992,
J. Log. Program..
D. Sciamma,
Aristide Mégrelis,
X. Sola,
1985,
SPLT.
D. Sciamma,
Aristide Mégrelis,
T. Banel,
1984,
SPLT.
José Meseguer,
Claude Kirchner,
Hélène Kirchner,
1988,
CTRS.
Claude Kirchner,
Hélène Kirchner,
Jean-Pierre Jouannaud,
1988,
ALP.
Aristide Mégrelis,
Aristide Mégrelis,
1992,
LFCS.