"J. Butler Wright"@cs .