Tipler, Paul Allen ; Mosca, Gene ; Wagner, Jennifer