PROVABLEPRIME, Generation of provable primes with Maurer's algorithm (with illustrative coding of RSA encryption (with authentication) and digital signature for sequences of fixed-sized plaintext blocks), is available at:

http://s13.zetaboards.com/Crypto/topic/7234475/1/

M. K. Shen