The theory of formal concept analysis and its applications - Zhao, Kai (1993)