Text this: New developments in formal languages and applications /