Recursively enumerable sets of positive integers and their decision problems (1944)

by E L Post
Venue:Bull. Am. Math. Soc