Giorgio Germano Andrea Maggiolo-Schettini Sequence Recursiveness Without Cylindrification and Limited Register Machines. 213-221 1981 15 Theor. Comput. Sci. db/journals/tcs/tcs15.html#GermanoM81