"John Refoua"@cs .