W.M.: A notion of effectiveness in arbitrary structures. The Journal of Symbolic Logic 33(4), 577–602 (1968)

by Reading Addison-Wesley, MA
Venue:17. Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs, NJ