Hesse, W. & Tilley, T. A. (2005), Formal Concept Analysis used for Software Analysis and Modelling, Springer, pp. 288-303.