Основы логического проектирования в 3 кн. - Закревский, Аркадий Дмитриевич 1928-2014 (ОИПИ НАН Беларуси, 2004)