J.A.伯格斯特拉。;Loots，M.E.先生。 组件代码的程序代数。 （英语） Zbl 0964.68509号 正式Asp。计算。 12，第1期，第1-17页（2000年）. 引用于1审查引用于6文件 MSC公司： 68甲15 程序设计语言理论 68号01 软件理论中的一般主题 关键词：投影语义学;命令式顺序编程 PDF格式BibTeX公司 XML格式引用 \textit｛J.A.Bergstra｝和\textit｛M.E.Loots｝，正式Asp。计算。12，第1号，1-17（2000；Zbl 0964.68509） 全文： 内政部