E. da Rocha Marques, “Contingência e complexidade infinita: o problema da prova sortuda”, NBR 6032, vol. 11, nº 2, out. 2014.