"David Winning"@cs .