A formal theory of inductive inference. Part I

Carnap, 1950

Turing, 1937, On computable numbers, with an application to the Entscheidungsproblem, 42, 230

Green, 1961, Computer languages for symbol manipulation, IRE Trans. Electron Comp., EC-10, 729, 10.1109/TEC.1961.5219281

McCarthy, 1956, A measure of the value of information, 42, 654

Chomsky, 1956, Three models for the description of language, IRE Trans. Inform. Theory, IT-2, 113, 10.1109/TIT.1956.1056813

Solomonoff, 1959, A Progress Report on Machines to Learn to Translate Languages and Retrieve Information, Vol. III, 941

Solomonoff, 1960, The mechanization of linguistic learning, 180