On divisors of Lucas and Lehmer numbers
Carlitz Generalizations of Lucas and Lehmer Sequences
Primality testing of large numbers in Maple
The Lucas-Lehmer Test for Mersenne Numbers