贝丝·阿罗史密斯;布鲁斯·麦克米林 CCSP：分布式程序调试的正式系统。 （英语。俄文原件） Zbl 0925.68074号 程序。计算。柔和。 21，第1期，45-50（1995）; 译自Programmirovanie 1995，No.1，63-70（1995）。 引用于1文件 MSC公司： 68号01 软件理论的一般主题 软件：CCSP公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Arrowsmith}和\textit{B.McMillin}，程序。计算。柔和。21，第1号，45--50（1995；Zbl 0925.68074）；译自Programmirovanie 1995，No.1，63-70（1995）