"David Bosch"@cs .