Michael O. Rabin Correctness of Programs and Protocols through Randomization (Extended Abstract). 1-3 1997 conf/asian/1997 ASIAN db/conf/asian/asian97.html#Rabin97