"David Singleton"@cs .