Meziane, F. From English to formal specifications. (Thesis). University of Salford