References
Simon Kochen
Logical structures arising in quantum theory
1975
with Specker E. P.
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer
The calculus of partial propositional functions
1975
with Specker E. P.
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer
The problem of hidden variables in quantum mechanics
1975
with Specker E. P.
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer