D.D.科恩。;J.W.格雷厄姆。;J.W.韦尔奇。;卢塞纳,C.J.P。 一种以数据为导向的程序构建方法。 (英语) Zbl 0427.68021号 软质。,实际。专家。 10, 355-372 (1980).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Cowan}等人,软件。,实际。专家。10、355--372(1980;Zbl 0427.68021) 全文: 内政部
Carlos J.P.卢塞纳。;塔里西奥·H·C·佩奎诺。 使用数据类型派生程序:案例研究。 (英语) Zbl 0428.68023号 IEEE传输。软件工程。 5, 586-592 (1979).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.J.P.Lucena}和\textit{T.H.C.Pequeno},IEEE Trans。柔和。工程5,586--592(1979;Zbl 0428.68023) 全文: 内政部