Rudolf Lidl Winfried B. Müller Primality Testing with Lucas Functions. 539-542 1992 conf/asiacrypt/1992 AUSCRYPT db/conf/asiacrypt/asiacrypt92.html#LidlM92