作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
PASCAL的二义性和不安全性
J.WELSH ,W.J.SNEERINGER ,C.A.R.HOARE ,邵瑧浩
. 1978, (03): 13 -22 .