Algebraically generalized recursive function theory (1968)

by H R Strong
Venue:IBM Journal of Research and Development