former Bell Labs Computing and Mathematical Sciences Research