"Gordon Sherven"@cs .