Text this: Formal description techniques, II :