@书籍{zbMATH00463957，编辑={de Bakker，J.W.和de Roever，W.-P.和Rozenberg，G.}，标题＝｛语义学：基础和应用。｛REX｝研讨会，｛Beekbergen｝，｛The｝｛Netherlands｝，｛June｝1992年1月4日。{会议记录}}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN＝{0302-9743}，体积={666}，国际标准图书编号={3-540-56596-5}，年份＝{1993}，出版商={柏林：Springer-Verlag}，语言＝{英语}，DOI={10.1007/3-540-56596-5}，关键词={00B25,68-06}，zbMATH={463957}，Zbl={0825.00095}}