Eric McCreath A Probabilistic Identification Result. 131-140 http://link.springer.de/link/service/series/0558/bibs/1968/19680131.htm 2000 conf/alt/2000 ALT db/conf/alt/alt2000.html#McCreath00