Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 - Fourman, M. P.; Mulvey, C. J. (Lecture Notes in Mathematics / Springer-Verlag ;, 1979)