TY  - RPRT
TI  - An introduction to finite automata and their connection to logic
AU  - Howard Straubing
AU  - Pascal Weil
PY  - 2011
UR  - https://arxiv.org/abs/1011.6491
ID  - 1011.6491
ER  -