"Timothy John Mitchison"@cs .