Formal Languages and Computation : Models and Their Applications - Meduna, Alexander (CRC Press)