"Peter Edmonds"@cs .