Richard Blute, Philip J. Scott. A Noncommutative Full Completeness Theorem. Electronic Notes in Theoretical Computer Science, 3:28-38, 1996. [doi]
@article{BluteS96, title = {A Noncommutative Full Completeness Theorem}, author = {Richard Blute and Philip J. Scott}, year = {1996}, url = {http://www.elsevier.com/gej-ng/31/29/23/28/23/show/Products/notes/index.htt#004}, tags = {completeness}, researchr = {https://researchr.org/publication/BluteS96}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {3}, pages = {28-38}, }