Computation Finite and infinite machines - Minsky, Marvin L. 1927-2016 (Prentice-Hall, 1967)
Βιβλιογραφία: σσ.301-308 περιεχει λυμενα προβληματα