"Ray Clemence"@cs .