Handbook of Mathematical Models for Languages and Computation