"Girard Scophe"@cs .