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., 1950-; Mulvey, C. J., 1946-; Scott, Dana S. (Lecture notes in mathematics (Springer-Verlag), 1979)