Nonlinear functional analysis and its applications [proceedings of the Summer Research Institute on Nonlinear Functional Analysis and its Applications held at the University of California, Berkeley, California, July 11 - 29, 1983] (American Mathematical Society, 1986)