A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference
