曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 关于编程语言的代数定义。 (英语) Zbl 0627.68009号 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《美国医学杂志》。程序。语言系统。9、54-99(1987年;Zbl 0627.68009) 全文: 内政部 链接
F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;威辛,M。;Wössner,H。 用广谱语言编程:示例集。 (英语) Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,科学。计算。程序。1、73--114(1981年;Zbl 0469.68003) 全文: 内政部
布罗伊,M。;R.格纳茨。;Wirsing,M。 非确定性和非连续结构的语义。 (英语) Zbl 0406.03059号 项目建设,国际夏令营。,马克托伯多夫1978年,Lect。注释计算。科学。69, 553-592 (1979).MSC公司:03D60年 68N99型 03E60年 68问题65 PDF格式BibTeX公司 XML格式