A new quantum random number generator certified by value indefiniteness. J. Agüero Trejo and C. Calude in Theor. Comput. Sci. 862:3 (2021).