1. S. Kochen and E. P. Specker, Logical structure arising in quantum theory, in: Symposium on the Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, North-Holland, Amsterdam, 1965.
2. ?, The calculus of partial prepositional functions, in: Logic, Methodology and the Philosophy of Science, North-Holland, Amsterdam, 1965.
3. ?, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17 (1967), pp. 59?67.
4. E. P. Specker, The logic of propositions which are not simultaneously decidable, Dialectica 14 (1960), pp. 239?246.
5. F. Kamber, The structure of the propositional calculus of a physical theory, Nachrichten der Akademie der Wissenschaften Mathematisch-Physikalische Klasse 10 (1964), pp. 103?124.