Effect algebras, presheaves, non-locality and contextuality - Staton, S; Uijlen, S (Automata, Languages, and Programming, 2015)