V.B.Alekseev,《关于交半格的数量》(俄语),Diskretnaya Mat.1(1989),129-136。
G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年。
Maria Paola Bonacina和Nachum Dershowitz,含义系统的标准推理,自动推理,计算机科学讲义,第5195/2008卷,Springer-Verlag。
G.Burosch、J.Demetrovics、G.O.H.Katona、D.J.Kleitman和A.A.Sapozhenko,《关于闭包运算的数量,在组合数学中,Paul Erdős是八十(第1卷)》,Keszelly:Bolyai Society Mathematical Studies,1993年,第91-105页。
P.Colomb、A.Irland和O.Raynaud,《n=7的摩尔族计数》,形式概念分析国际会议(2010年)
阿尔弗雷德·霍恩,《符号逻辑杂志》16(1951),14-21。[参见引理7。]
D.E.Knuth,《计算机编程的艺术》,第4A卷,第7.1.1节,第79页。
E.H.Moore,《一般分析形式导论》,AMS学术讨论会出版物2(1910),第53-80页。