Nonlinear functional Analysis. - Deimling, Klaus (Springer, 1985)