形式描述技术:直观LOTOS的提出和研究 - 史美林; 闵京华 (Tongxin xuebao)