The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography. - Charlie Obimbo; Stephen Doxsee (MSV/AMCS, 2004)

Synthesis of C++ Software from Verifiable CSPm Specifications. - Stephen Doxsee; William B. Gardner (ECBS, 2005)

Synthesis of C++ software for automated teller from CSPm specifications. - Stephen Doxsee; William B. Gardner (SAC, 2005)