"Adrian Reynard"@cs .