Literature/Karp-automata.pdf
changeset 544 b672be21ffac
parent 80 85ef42888929