reflexive structures: an axiomatic approach to computability (1969)

by Uniformly
Venue:Information Sciences