The various measures of the complexity of finite objects (an axiomatic description (1976)

by L A Levin
Venue:Soviet Mathematics Doklady