Fruet, W. Prospectiva: El Problema De La Verificación. RCU 2017, 21.