• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
一积基于Ada的规范说明语言
殷建平 陈火旺
计算机工程与科学 . 1992, (1): 38 -44 .