Static Analysis of shells - Gould, Phillip L.