@Inproceedings{EPTCS68.6, author = {Montazeri, Seyed M. and Roy, Nivir K.S. and Schneider, Gerardo}, year = {2011}, title = {From Contracts in Structured English to CL Specifications}, editor = {Pimentel, Ernesto and Valero, Valent\'in}, booktitle = {{\rm Proceedings Fifth Workshop on} Formal Languages and Analysis of Contract-Oriented Software, {\rm M\'alaga, Spain, 22nd and 23rd September 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {68}, publisher = {Open Publishing Association}, pages = {55-69}, doi = {10.4204/EPTCS.68.6}, }