E. Specker: "The logic of non-simultaneously decidable propositions"   (1960)
  Translation of 'Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen' by Ernst Specker, Dialectica, vol. 14, 239 - 246 (1960). 
M.P. Seevinck
physics.hist-ph quant-ph