From Contracts in Structured English to CL Specifications - Seyed M. Montazeri; Nivir K. S. Roy; Gerardo Schneider (FLACOS, 2011)