History

for article: Super-recursive algorithm