Ganter, B. & Kuznetsov, S. O. (2000), Formalizing Hypotheses with Concepts, in Bernhard Ganter & Guy W. Mineau, ed., 'ICCS' , Springer, , pp. 342-356 .