Locally universal C*-algebras with computable presentations. - Alec Fox; Isaac Goldbring; Bradd Hart (CoRR, 2023)

Computable Presentations of C*-Algebras. - Alec Fox (J. Symb. Log., 2024)