经典的英文教材，北京大学软件工程专业教材。