Finitely Presented Groups: With Applications in Post-Quantum Cryptography and Artificial Intelligence (IEEE, 2003)