S. Abramsky & A. Brandenburger (2011):
The Sheaf-Theoretic Structure Of Non-Locality and Contextuality.
New Journal of Physics 13(2011),
pp. 113036,
doi:10.1088/1367-2630/13/11/113036.
H. Bartosik, J. Klepp, C. Schmitzer, S. Sponar, A. Cabello, H. Rauch & Y. Hasegawa (2009):
Experimental test of quantum contextuality in neutron interferometry.
Physical Review Letters 103(4),
pp. 40403,
doi:10.1103/PhysRevLett.103.040403.
J.S. Bell (1964):
On the Einstein-Podolsky-Rosen paradox.
Physics 1(3),
pp. 195–200,
doi:10.1017/CBO9780511815676.004.
A. Cabello, J.M. Estebaranz & G. Garc\'ıa-Alcaine (1996):
Bell-Kochen-Specker theorem: A proof with 18 vectors.
Physics Letters A 212(4),
pp. 183–187,
doi:10.1007/978-94-011-5886-2-8.
R. Ghrist & Y. Hiraoka (2011):
Applications of sheaf cohomology and exact sequences to network coding.
preprint.
D.M. Greenberger, M.A. Horne, A. Shimony & A. Zeilinger (1990):
Bell's theorem without inequalities.
American Journal of Physics 58,
pp. 1131,
doi:10.1119/1.16243.
D.M. Greenberger, M.A. Horne & A. Zeilinger (1989):
Going beyond Bell's theorem.
In: M. Kafatos: Bell's Theorem, Quantum Theory, and Conceptions of the Universe.
Kluwer,
pp. 69–72.
L. Hardy (1993):
Nonlocality for two particles without inequalities for almost all entangled states.
Physical Review Letters 71(11),
pp. 1665–1668,
doi:10.1103/PhysRevLett.71.1665.
G. Kirchmair, F. Zähringer, R. Gerritsma, M. Kleinmann, O. Gühne, A. Cabello, R. Blatt & CF Roos (2009):
State-independent experimental test of quantum contextuality.
Nature 460(7254),
pp. 494–497,
doi:10.1038/nature08172.
S. Kochen & E.P. Specker (1967):
The problem of hidden variables in quantum mechanics.
Journal of Mathematics and Mechanics 17(1),
pp. 59–87,
doi:10.1007/978-3-0348-9259-9-21.
Y.C. Liang, R.W. Spekkens & H.M. Wiseman (2011):
Specker's parable of the overprotective seer: A road to contextuality, nonlocality and complementarity.
Physics Reports 506(1-2),
pp. 1 – 39,
doi:10.1016/j.physrep.2011.05.001.
S. Mac Lane & I. Moerdijk (1992):
Sheaves in geometry and logic: A first introduction to topos theory.
Springer.
N.D. Mermin (1990):
Simple unified form for the major no-hidden-variables theorems.
Physical Review Letters 65(27),
pp. 3373–3376,
doi:10.1103/PhysRevLett.65.3373.
A. Peres (1990):
Incompatible results of quantum measurements.
Physics Letters A 151(3-4),
pp. 107–108,
doi:10.1016/0375-9601(90)90172-K.
S. Popescu & D. Rohrlich (1994):
Quantum nonlocality as an axiom.
Foundations of Physics 24(3),
pp. 379–385,
doi:10.1007/BF02058098.
N. N. Vorob'ev (1962):
Consistent families of measures and their extensions.
Theory of Probability and its Applications VII(2),
pp. 147–163,
doi:10.1137/1107014.
(translated by N. Greenleaf, Russian original published in Teoriya Veroyatnostei i ee Primeneniya).