Text this: Language engineering and rigorous software development :