Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. - Kong E. Cheng; Lindsay N. Jackson (FORTE, 1989)