@收款{zbMATH05574311，作者={Ernst，Erik}，标题={第一类对象集}，BookTitle={校样和程序的类型。国际会议，2008年类型，意大利都灵，2008年3月26日至29日。修订选定论文}，国际标准图书编号={978-3-642-02443-6}，页码={83--99}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-02444-3_6}，关键词={68N19，68T15}，zbMATH={5574311}，Zbl={1246.68089}}