Natural properties of strategies identifying recursive functions (1979)

by K P Jantke
Venue:Journal of Information Processing and Cybernetics (EIK