R. Cole. 23th Australiasian Computer Science Conference, volume 22 of Australian Computer Science Communications, page 47-53. IEEE Computer Society, (2000)more details of this in Cole's PhD thesis.
R. Cole. 24th Australiasian Computer Science Conference, volume 23 of Australian Computer Science Communications, page 47-53. IEEE Computer Society, (2001)more details of this in Cole's PhD thesis.
P. Eklund, J. Ducrou, and P. Brawn. Proc. of the 2nd Int. Conference on Formal Concept Analysis, volume 2691 of LNAI, page 57--72. Springer-Verlag, (2004)
P. Becker. Proceedings of the 9th International Conference on Conceptual Structures, page 33-46. Department of Computer Science, University Laval, (2001)