Seyed M. Montazeri Nivir K. S. Roy Gerardo Schneider From Contracts in Structured English to CL Specifications FLACOS 2011 55-69 http://dx.doi.org/10.4204/EPTCS.68.6 journals/corr/abs-1109-2399 db/series/eptcs/eptcs68.html#abs-1109-2657