Title: Computability and Unsolvability (Information Processing)
First published: December 1958