Toward a mathematical theory of inductive inference (1975)

by Lenore Blum, Manuel Blum
Venue:Information and Control