Handbook of mathematical models for languages and computation - Meduna, Alexander. (The Institution of Engineering and Technology,)