"Mark Witton"@cs .