History

for article: Strict programming language