Manuel Núñez An Axiomatization of Probabilistic Testing. 130-150 1999 conf/arts/1999 ARTS http://link.springer.de/link/service/series/0558/bibs/1601/16010130.htm db/conf/arts/arts1999.html#Nunez99