1. G. Arévalo, J.-R. Falleri, M. Huchard, C. Nebut, Building abstractions in class models: formal concept analysis in a model-driven approach, in: MoDELS, LNCS, vol. 4199, Springer, 2006, pp. 513–527.
2. Rearchitecting the UML infrastructure;Atkinson;ACM Transactions on Modeling and Computer Simulation,2002
3. A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, Modeling model slicers, in: MoDELS'11, LNCS, vol. 6981, Springer, 2011, pp. 62–76.
4. Model checking and abstraction;Clarke;ACM Transactions on Programming Languages and Systems,1994
5. Introduction to Lattices and Order;Davey,2002