Course in formal languages automata and groups - Chiswell, Ian (Springer-Verlag, London, 2009)
Keywords: Symbolic logic