History

for article: Quotient of a formal language