"Eiffel"@cs .