Text this: A new approach to formal language definition and its application to Oberon /