雅克·勒克斯；库尔特·西伯 [瑞安·斯坦西弗（Ryan D.Stansifer）。] 程序验证的基础。在collab。与Ryan D.Stansifer合作。第2版。ii、。 （英语） Zbl 0625.68017号 Wiley-Teubner计算机科学系列。斯图加特：B.G.Teubner；奇切斯特等：John Wiley&Sons。九、 230页。；58.00德国马克（1987年）。 审核人：H.Müller先生 MSC公司：60年第68季度 68-01 05年3月 PDF格式BibTeX公司 XML格式
彼得·舍夫 信息-eine konstruktive Einführung。LISP、PROLOG和andere Konzepte der Programmiereng。（计算机科学-建设性介绍。LISP、PROLOG和其他编程概念）。第2版。 （德语） Zbl 0667.68001号 瑞赫信息, 48. 曼海姆：B.I.Wissenschaftsverlag。第405页。；48.00德国马克（1987年）。MSC公司：68-01 68号01 60年第68季度 68问题65 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schefe}，Informatik-eine konstruktive Einführung。LISP、PROLOG和andere Konzepte der Programmiereng。（计算机科学-建设性介绍。LISP、PROLOG和其他编程概念）。曼海姆第二版：B.I.-Wissenschaftsverlag（1987；Zbl 0667.68001）
贡查罗夫，S.S。；D.I.斯维里登科。 \（\Sigma^+\）-程序及其语义。 （俄语） Zbl 0696.03014号 维奇尔。修女。 120, 24-51 (1987). 审核人：N.两者 MSC公司：03B70号 60年第68季度 05年3月 03B35型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}和\textit{D.I.Sviridenko}，Vychils。修女。120、24-51（1987年；Zbl 0696.03014）
勘误表。 （英语） Zbl 0657.68024号 程序。计算。软件 13，No.5，234（1987）.MSC公司：68问题65 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 程序。计算。柔和。13、5号、234（1987；Zbl 0657.68024）
梅森，K.P。 动态模板转换器-一种用于指定编程语言的新设备。 （英语） Zbl 0656.68089号 国际期刊计算。数学。 22，第3-4号，199-212（1987）.MSC公司：65年第68季度 60年第68季度 第68季度55 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Mason}，国际计算机杂志。数学。22，No.3--4，199--212（1987；Zbl 0656.68089） 全文： 内政部
克里斯蒂娜·瑟纳达斯；卡拉普萨，R。 概念建模抽象在编译器开发中的作用。 （英语） Zbl 0653.68081号 计算。J。 30, 328-336 (1987).MSC公司：第68季度55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}和\textit{R.Carapuça}，计算。J.30，328--336（1987；Zbl 0653.68081） 全文： 内政部
艾默生·E·艾伦 一致的必然性是树自动机不可言喻的。 （英语） Zbl 0653.68079号 信息处理。莱特。 1987年7月24日至79日.MSC公司：65年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}，Inf.过程。莱特。24、77——79（1987年；Zbl 0653.68079） 全文： 内政部
D.格里斯。；普林斯，J.F。 迈凯轮的杰作。 （英语） Zbl 0649.68031号 科学。计算。程序。 8, 139-145 (1987). 审核人：H.埃德尔斯布伦纳 MSC公司：68瓦99 60年第68季度 68卢比99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Gries｝和\textit｛J.F.Prins｝，科学。计算。程序。8139——145（1987年；Zbl 0649.68031） 全文： 内政部
福尔克，V.N。 高级编程语言的理论模型。 （英语。俄文原件） Zbl 0645.68042号 程序。计算。软件 13，第4期，139-146（1987）; 译自Programmirovanie 1987，No.4，3-12（1987）。MSC公司：68问题65 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Fal'k}，程序。计算。柔和。13，No.4，139--146（1987；Zbl 0645.68042）；译自Programmirovanie 1987，No.4，3--12（1987）
Igarashi、Shigeru；Tetsuya Mizutani；高石筑次 分析语义中的并行程序过程规范。 （英语） Zbl 0645.03023号 坦索尔，新爵士。 45, 240-244 (1987).MSC公司：03B70号 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Igarashi}等人，Tensor，New Ser。45240-244（1987年；Zbl 0645.03023）
Igarashi、Shigeru；Tetsuya Mizutani；高石筑次 由\（nu\）-转换表示的并行程序过程的分析语义。 （英语） Zbl 0645.03022号 坦索尔，新爵士。 45, 222-228 (1987).MSC公司：03B70号 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Igarashi}等人，Tensor，New Ser。45、222--228（1987年；Zbl 0645.03022）
旋律，拉米 一类自定时计算网络的验证。 （英语） Zbl 0643.68019号 比特币 27, 480-500 (1987).MSC公司：第68页第25页 68N99型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Melhem}，BIT 27，480--500（1987；Zbl 0643.68019） 全文： 内政部
M.Yu Moshkov。 关于有限开发的程序。 （英语） Zbl 0643.68010号 计算理论基础，Proc。国际会议，喀山/苏联1987年，法律。票据计算。科学。278, 323-327 (1987).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
于尔肖夫（Yu Ershov）。L。；贡查罗夫，S.S。；D.I.斯维里登科。 编程的语义基础。 （英语） Zbl 0642.68029号 计算理论基础，Proc。国际会议，喀山/苏联1987年，法律。票据计算。科学。278, 116-122 (1987).MSC公司：68问题65 68号01 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式
L.Ya拉普金。 以各种形式指定的布尔函数的程序实现的复杂性边界。 （英语。俄文原件） Zbl 0641.94031号 自动。远程控制 48，第1期，111-124（1987）; Avtom翻译。Telemekh公司。1987年，第1期，135-150（1987）。MSC公司：94立方厘米 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ya.Lapkin}，自动。遥控器48，No.1，111--124（1987；Zbl 0641.94031）；Avtom翻译。Telemekh公司。1987年，第1期，135--150（1987）
汉斯·洛伊珀；Jäkel，Hans-Jörg；沃尔夫冈水獭 编译器和解释器für höhere Programmiersprachen。 （德语） Zbl 0641.68123号 Informatik-Kybernetik-技术研究，Bd.17。柏林：Akademie-Verlag。390 S。；DM 50.00（1987）。 审核人：H.J.施耐德 MSC公司：68N20型 68N99型 68-02 60年第68季度 PDF格式BibTeX公司 XML格式
罗伯特·佩奇；弗里茨·亨利恩 将集合论问题规范机械地转换为有效的RAM代码-案例研究。 （英语） Zbl 0641.68025号 J.塞姆。计算。 4, 207-232 (1987).MSC公司：60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Paige}和\textit{F.Henglein}，J.Symb。计算。4207--232（1987年；Zbl 0641.68025） 全文： 内政部
巴拉特·贾亚拉曼；戈帕尔·古普塔 等式语言的并行执行。 （英语） Zbl 0641.68021号 图形简化程序。研讨会，圣菲/新墨西哥州，1986年。票据计算。科学。第279370-381页（1987年）。MSC公司：60年第68季度 68号01 第68页第25页 68吨15 PDF格式BibTeX公司 XML格式
龚振河 关于数据库规范的时间方面。 （英语） Zbl 0639.68020号 科学。罪。，序列号。A类 30, 1102-1112 (1987).MSC公司：68第05页 68第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gong}，科学。罪。，序列号。A 30，1102--1112（1987；Zbl 0639.68020）
亨克·阿尔巴斯；弗兰斯·法斯（Frans J.Faase）。 属性化抽象程序树。 （英语） 兹比尔0638.68080 关于概念、形式主义和工具的论文，收藏。巴普。迪迪奇。L.A.M.Verbeek，CWI第42卷，第217-230页（1987年）。MSC公司：65年第68季度 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式
Boian、Florian Mircea 循环退出方案的可逆执行。 （英语） Zbl 0638.68012号 Babeș-Bolyai大学数学研究生。 32，第3期，第29-36页（1987年）. 审核人：F.M.波安 MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Boian}，研究生大学Babeș-Bolyai，数学。32，第3号，29--36（1987；Zbl 0638.68012）
周长乐；史洪宝 高级语言翻译的初步理论。 （中文。英文摘要） Zbl 0637.68092号 J.西安交通大学。 21，第1期，11-22（1987）.MSC公司：65年第68季度 60年第68季度 第68季度55 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和textit{H.Shi}，J.西安交通大学21，No.1，11--22（1987；Zbl 0637.68092）
拉斐尔·阿尔瓦雷斯·吉尔 属性语法在编程语言中的一些应用。 （西班牙语。英文摘要） Zbl 0636.68102号 Cienc版本。材料。 8，第1期，63-81（1987）.MSC公司：65年第68季度 60年第68季度 第68季度55 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.á.Gil}，Rev.Cienc。材料8，编号1，63--81（1987；Zbl 0636.68102）
费莱，G。 通过递归过程进行经典和增量属性评估。 （英语） 兹比尔0635.68081 西奥。计算。科学。 53, 25-65 (1987).MSC公司：65年第68季度 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{G.Filé}，Theor。计算。科学。53、25-65（1987年；Zbl 0635.68081） 全文： 内政部
托马斯·约翰逊 属性语法是一种函数编程范式。 （英语） Zbl 0633.68072号 函数编程语言和计算机体系结构。波特兰/俄勒冈州第三届会议。1987年，勒克特。票据计算。科学。274, 154-173 (1987).MSC公司：65年第68季度 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式
多伊纳·塔尔 关于一元模式。 （罗马尼亚语。英文摘要） Zbl 0629.68013号 螺柱Cercet。材料。 第5期第39页，第455-459页（1987年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ttar}，螺柱。证书。材料39，编号5，455--459（1987；Zbl 0629.68013）
H·帕奇。；莫勒，B。 转型期间的Konstruktion korrekter计划。 （德语） Zbl 0628.68014号 Inf.-Spektrum 10，309-323（1987）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
苏迪尔·阿加瓦尔；丹尼尔·巴巴拉；卡尔曼·Z·梅斯。 SPANNER：协议规范、分析和评估的工具。 （英语） Zbl 0626.68031号 IEEE传输。柔和。工程师。 13, 1218-1237 (1987).MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Aggarwal｝等人，IEEE Trans。柔和。工程13，1218--1237（1987；Zbl 0626.68031） 全文： 内政部
艾默生·E·艾伦；Lei、Chin-Laung 模型检查的模式：分支时间逻辑反击。 （英语） Zbl 0615.68019号 科学。计算。程序。 8, 275-306 (1987).MSC公司：60年第68季度 第68页第25页 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.L.Lei}，科学。计算。程序。8275--306（1987年；Zbl 0615.68019） 全文： 内政部
D.格雷。 教学验证条件生成器。 （英语） Zbl 0615.68017号 计算。J。 30, 239-248 (1987). 审核人：D.灰色 MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gray}，计算。J.30，239--248（1987；Zbl 0615.68017） 全文： 内政部
配件，梅尔文 可计算性理论、语义和逻辑编程。 （英语） Zbl 0613.68019号 牛津逻辑指南, 13. 纽约：牛津大学出版社；牛津：克拉伦登出版社。十一、 198页。；£25.00 (1987). 审核人：N.西村 MSC公司：68问题65 03D99号 60年第68季度 68-01 03-01 68-02 68吨15 PDF格式BibTeX公司 XML格式
彭金，D。 从正式规范到程序模块实现的过渡。 （俄语。英文摘要） Zbl 0612.68017号 Avtom公司。伊兹奇什利特纳（Izchislitelna Tekh）。Avtom公司。修女。 1987年，第3号，46-51（1987）.MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \文本{D.Penkin}，Avtom。，伊兹奇什利特纳（Izchislitelna Tekh.）。，Avtom公司。修女。1987年，第3期，46-51（1987；Zbl 0612.68017）
亨克·阿尔布拉斯 属性化程序树的单程转换。 （英语） Zbl 0598.68013号 学报信息。 24, 299-352 (1987).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Alblas}，《信息学报》24，299--352（1987；Zbl 0598.68013） 全文： 内政部