О содержательном истолковании логико-алгебраических выражений // Программные системы и инструменты. Тематический сборник № 9. М.: Изд-во факультета ВМиК МГУ, 2008. С. 127-128статья