"Stephen Bussey"@cs .