Probabilistische Algorithmen und computerunterstützte Untersuchungen von probabilistischen Primalitätstests. - Graf, Ernst (1981)