Joyce Friedman
The Mitre Corporation, Bedford, Massachusetts
The Logic of Automata—Part II
Journal of the ACM (JACM)
The complexity of small universal turing machines: a survey
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science