@第{zbMATH06714122条，作者={{v{S}}tuikys、Vytautas和Dama{v{S}}evi{v{c}}ius、Robertas}，标题={异质元程序的等价转换}，FJournal={Informatica（维尔纽斯）}，期刊={Informatica，维尔纽斯}，ISSN={0868-4952}，体积={24}，数字={2}，页码={315--337}，年份={2013}，语言={英语}，关键词={68N01,68N20}，URL={content.iospress.com/articles/informatica/inf24-2-09}，zbMATH={6714122}，Zbl={1360.68308}}