History

for article: Algorithmically random sequence