Springer-Verlag. Springer-Verlag授权出版 据Springer-verlag公司出版 据springer-verlag出版社1989年版译出 根据Springer-Verlag1983年版译出