"David Sproxton"@cs .