@书籍{zbMATH00194367，编辑={Ausiello，Giorgio and Dezani-Ciancaglini，Mariangiola and Ronchi Della Rocca，Simonetta}，标题={自动化，语言和编程。第16届国际学术讨论会，{斯特雷萨}，{意大利}，1989年{7月}11-15日。{会议记录}}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={372}，国际标准图书编号={3-540-51371-X}，年份={1989年}，Publisher={Berlin等：Springer-Verlag}，语言={英语}，DOI={10.1007/BFb0035746}，关键词={00B25,68-06}，zbMATH={194367}，Zbl={0681.00016}}