Initial commit of theory and design documents.