Springer-Verlag, Heidelberg, Germany [1983]