computer science theory for the information age = 信息时代的计算机科学理论 （英文版）