1. Vinogradov, D.V., VKF-method of hypotheses generation, Commun. Comput. Inf. Sci., 2014, vol. 436, pp. 237–248.
2. DSM-metod avtomaticheskogo porozhdeniya gipotez: Logicheskie i epistemologicheskie osnovaniya (JSM-Method of Automatic Hypothesis Generation: Logical and Epistemological Grounds), Finn, V.K. and Anshakov, O.M., Eds., Moscow: URSS, 2009.
3. Ganter, B. and Wille, R., Formale Begriffsanalyse: Mathematische Grundlagen, Springer Berlin Heidelberg, 1996; Springer, 1999.
4. Davey, B.A. and Priestley, H.A., Introduction to Lattices and Order, Cambridge: Cambridge University Press, 2002, 2nd ed.
5. Cormen, T.H., Leiserson, C.E., Rivest, R., and Stein, C., Introduction to Algorithms, MIT Press, 1989.