High-level views in object-oriented systems using formal concept analysis. - Gabriela Beatriz Arévalo (2004)