@收款{zbMATH05070211，作者={Yatake、Kenro和Aoki、Toshiaki和Katayama、Takuya}，Title={在{HOL}}中实现特定于应用程序的面向对象理论，BookTitle={计算的理论方面--ICTAC 2005。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼}，国际标准图书编号={3-540-29107-5}，页码={501--516}，年份={2005}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11560647}，关键词={68N19，68T15}，zbMATH={5070211}，Zbl={1169.68362}}