Literature/backref-automata.pdf
changeset 665 3bedbdce3a3b
parent 210 ecb5e4d58513