Gulf Publishing Company. West Publishing Company. West Publishing Company授权出版 本书据D.Reidel publishing company 1974年版译