"John Van Boxmeer"@cs .