History

for article: Lehmer random number generator