作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
可视程序设计语言形式化规范的研究
施小英,庄伟波,胡环荣
The Formal Specification of Visual Programming Languages
. 1996, (05): 10 -13 .