亨克·巴伦德雷格特(Henk Barendregt)、马克·范·埃克伦(Marko van Eekelen。1987年术语图改写。雅各布斯·W·德·巴克(编辑)《欧洲并行体系结构和语言会议录》(计算机科学讲义,第259卷)。斯普林格-Verlag,柏林,海德堡。141-158。https://doi.org/10.1007/3-540-17945-3_8
Daniel Matichuk、Toby Murray和Makarius Wenzel。2016年,Eisbach:Isabelle的证明方法语言。《自动推理杂志》,56,3(2016),3月261–282日。发行编号:1573-0670https://doi.org/10.1007/s10817-015-9360-2