Text this: The Formal description technique Estelle :