Regular set theorem for infinite computation theories - Stoltenberg Hansen Viggo (Oslo University, 1977)
Keywords: Computation theory