@第{zbMATH05487663条，作者={Swierstra，S.Doaitse和Chitil，Olaf}，标题={线性、有界、功能精美打印}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={19}，数字={1}，页码={1--16}，年份={2009}，语言={英语}，DOI={10.1017/S0956796808006990}，关键词={68U15}，zbMATH={5487663}，Zbl={1181.68307}}