Applications of sheaves - Fourman M P Ed.; Research symposium on application of sheaf theory to logic, algebra and analysis (1977 : Durham); Mulvey C J Ed.; Scott D S Ed. (Berlin Springer-Verlag, 1979)