G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年。
Maria Paola Bonacina和Nachum Dershowitz,含义系统的标准推理,自动推理,计算机科学讲义,第5195/2008卷,Springer-Verlag。
P.Colomb、A.Irland和O.Raynaud,《n=7的摩尔族计数》,形式概念分析国际会议(2010年)
E.H.Moore,《一般分析形式导论》,AMS学术讨论会出版物2(1910),第53-80页。