"Martin Walters"@cs .