Primality Testing and Factoring. - James Finn; Karl J. Lieberherr (Theor. Comput. Sci., 1983)