@phdthesis{预处理，author={Mathias Preiner}，title={Lambdas，数组和量词}，年份={2017年}，series={Wissenschaften}技术论文，学校={林茨约翰内斯·开普勒大学Informatik}}