History

for article: Dekker's algorithm