History

for article: Sethi–Ullman algorithm