Literature/backref-automata.pdf
changeset 453 d68b9db4c9ec
parent 210 ecb5e4d58513