"Roger Pratt"@cs .