Логика, алгебра и базы данных: Пер. с англ. - Грей Питер (Машиностроение, 1989)