Expression of Styles in Formal Speciication