Johan Moldestad Dag Normann Models for Recursion Theory. 719-729 1976 41 J. Symb. Log. 4 db/journals/jsyml/jsyml41.html#MoldestadN76