Logical independence and quantum randomness - Paterek, T. (2014)
10.1088/1367-2630/12/1/013019