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