Automatic Transformation from SOFL Module Specifications to Program Structures. - Xiongwen Luo 002; Shaoying Liu (SOFL+MSVL, 2015)