Дударь, З. В.; Белоконь, В. А.; Хильский, В. Г. Formal Model of Semantic Search in the Electronic Library. EEJET 2011, 4, 47-51.