Text this: Hanbook of formal languages