W. Fruet, Prospectiva: el problema de la verificación, RCU, vol. 21, n.º 1, dic. 2017.