Recent Developments in quantum logic Proceedings of the Internat. Symposium on Quantum Logic, Cologne, Germany, June 13-16, 1984 - Mittelstaedt, Peter; Stachow, Ernst-Walther (Grundlagen der exakten Naturwissenschaften, 1985)