"Walter C. Dornez"@cs .