Stav dette: Spectral analysis of nonlinear operators / Svatopluk Fučík [and others].