@inproceedings{ganter00formalizing,
  author = {Ganter, Bernhard and Kuznetsov, Sergei O.},
  booktitle = {ICCS},
  crossref = {conf/iccs/2000},
  date = {2002-01-03},
  editor = {Ganter, Bernhard and Mineau, Guy W.},
  interhash = {280d81720a09782c64524d5a19cfd912},
  intrahash = {96a1d20f983e8bff397e9370e0400fa2},
  isbn = {3-540-67859-X},
  pages = {342-356},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Formalizing Hypotheses with Concepts},
  url = {http://dblp.uni-trier.de/db/conf/iccs/iccs2000.html#GanterK00},
  volume = 1867,
  year = 2000
}

@misc{ISO704,
  author = {of Standardization, International Organization},
  interhash = {c7b1e32acb1a58a39b2f083739f8568c},
  intrahash = {9f1dac9dfc14a47c968a0b54ea466566},
  title = {ISO 704. Terminology Work - Principles and Methods},
  year = 2000
}