Kojiro Kobayashi Sigma^0_n-Complete Properties of Programs and Martin-Löf Randomness. 37-42 1993 46 Inf. Process. Lett. 1 db/journals/ipl/ipl46.html#Kobayashi93