"Ralph Thomas"@cs .