da Rocha Marques, E. Contingência E Complexidade Infinita: O Problema Da Prova Sortuda. NBR 6032 2014, 11.