Vadera, S., & Meziane, F. (1994). From English to formal specifications. Computer Journal, 37(9), 753-763. https://doi.org/10.1093/comjnl/37.9.753