John Savard's writings on cryptography